5.3The Blocker Map and the Complementary Map on Antichains
In this section we regard the antichains of a finite bounded poset and their blockers as the elements of the lattice of antichains and as their images under the blocker map.
Let 
(P) denote the distributive lattice of all order filters (ordered by inclusion) of a finite bounded poset P, and let 
(P) denote the lattice of all antichains of P, where for two antichains A′, A″ ∈ (P) we set
Get Pattern Recognition on Oriented Matroids now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
