⊤	⊥
명제	항상 참인 명제	항상 거짓인 명제
집합	universal set(U)	null set(∅)
boolean value	true	false