EntityQ12254923· pop 8lower boundany element M of a partially ordered set A which includes a subset B, such that M is lower than or equal to every element of B