N = 2, U = {A, B}

Both S = {A, B} 전체집합 그 자체

Either S = {A} V {B} 합집합 중 택일 

Neither S = emptyset 공집합


N>=3, U = {x_1, x_2, ...}

Every S = {x_1, x_2, ...} 전체집합 그 자체

Each  {x_1}, {x_2}, ... 원소별 분할

Any x in U (Arbitrary) 임의의 선택

None S = emptyset 공집합 (2개 초과일 때)


Else Complementary Set