Monday, April 3, 2017

Partition logic

The logic of set partitions is a fundamental part of the analysis of ordering relations. The set partitions necessarily form a lattice which has certain properties corresponding to its join and meet operations. At the same time, the elements themselves form a Moore family depending upon which direction you intend to take the ordering. The Moore family then necessarily comes with a corresponding closure operation.