Partial-order meaning : A binary relation that is reflexive, antisymmetric, and transitive.
prog rock
bring to
partial order
solar plexus
grabbled