Matching Bl Pfps

For a given instance of the stable matching problem this lattice provides an algebraic description of the family of all solutions to the problem