A Set of Linear Extensions of a Poset is a realizer of (and is said to realize ) provided that for all , Iff is below in every member of .