已知关系：学生（学号，姓名，性别，年龄），课程（课程号，课程名，教师，学分），选课（学号，课程号，成绩）。表达查询“选修了教师01所教全部课程的学生的姓名”的关系代数操作是（）。