Definition:: Given a subset ''X'' of 'R', the smallest real number that is ⥠every element of ''X''; : given a subset ''X'' of a partially ordered set ''P'' (with partial order â¤), the least element ''y'' of ''P'' such that every element of ''X'' is ⤠''y''.