컬렉션,
AUB 는 A 와 B 의 합집합을 나타내고, AnB 는 A 와 B 의 교집합을 나타냅니다. 집합론에서 세트 A, B 는 세트 A 에 속하고 세트 B 에 속하는 모든 요소로 구성된 집합이며, 이를 서브셋 A 와 세트 B 의 교차 (intersection) 라고 합니다. 즉, a ∩ b = {x | x ∧ a ∧ x ∧ b} 입니다.