양항 예문

• 단항 술어기호 ' '과 양항 술어기호인 포함관계 기호 ' '모두를 포함하거나 오로지 포함관계 기호만을 포함한 일차 술어논리 언어를 가지고 집합론을 구성할 수 있다.