size-commute-disjoint-join*
min-idempotent
max-idempotent
min-preserves-gt
max-preserves-gt