Go backward to Quotient SetGo up to TopGo 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`:

Dis partition ofS: <=>( forallxinD:x!=0) /\( forallxinD,yinD:x=y\/xintersectiony=0) /\unionD=S.

Author: Wolfgang Schreiner

Last Modification: January 12, 2000