Infimum

see partial order

--- https://ncatlab.org/nlab/show/meet and https://ncatlab.org/nlab/show/join

aka meet, greatest lower bound

#stub