Search
❯
Jun 05, 20261 min read
An element in a Poset is maximal if implies or equivalently there is no such that .