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.