Poset

Last updated Jun 3, 2024

See: posets in duoidals.