同異의 定理

D(논의영역): 同∪異=U

同=!完異
ㄴ完同 A=B (A와 B는 완전히 같다.)
ㄴ微同 A≠B∧A∩B≠ø (A와 B는 완전히 같지 않으며 완전히 다르지도 않다.)
同=完同∪微同
A=B∨(A≠B∧A∩B≠ø)

A∩B=ø

異=!完同
ㄴ完異 A∩B=ø (A와 B는 완전히 다르다)
ㄴ微異 A≠B∧A∩B≠ø 

異=完異∪微異