Go backward to Quotient Set
Go up to Top
Go forward to Example
Definition: D is a partition or decomposition of S, if its elements, the blocks, are non-empty and disjoint and their union equals S:
D is partition of S : <=> (forall x in D: x != 0) /\ (forall x in D, y in D: x = y \/ x intersection y = 0) /\ union D = S.