EntityQ42866132· pop 7upper boundany element M of a partially ordered set A which includes a subset B, such that M is greater than or equal to every element of B