TOPICS
Search

Realizer


A set R of linear extensions of a partially ordered set P=(X,<=) is a realizer of P (and is said to realize P) provided that for all x,y in X, x<=y iff x is below y in every member of R.


AltStyle によって変換されたページ (->オリジナル) /