관계대수 개요
관계해석
순수 관계 연산자
일반 집합 연산자