2.1 Set & Relation Set: 구별되는 element들 Powerset: Set의 모든 subset들 Bag: 중복을 허용한 element들 Sequence: 순서가 있는, 중복을 허용한 element들 Relation: R over set S = Set of ordered pairs from S 1) Reflexive: aRa for all a 2) Symmetric: if aRb, then bRa 3) AntiSymmetric: if aRb and bRa, then a = b 4) Transitive: if aRb and bRc, then aRc Equivalence Relation: Reflexive, Symmetric and Transitive -> Equivalance Class P..