User:Melchoir/Order variety

In mathematics, an order variety is a ternary relation...