pseudoideal

Noun

 * 1)  The set of all lower bounds of the set of all upper bounds of a subset of a partially ordered set