previous up next
Go backward to Quotient Set
Go up to Top
Go forward to Example
RISC-Linz logo


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.

Author: Wolfgang Schreiner
Last Modification: January 12, 2000

previous up next