목록관계 대수의 완전성 (1)

민규의 흔적