Etymology
Today it means: The set of all lower bounds of the set of all upper bounds of a subset of a partially ordered set Full definition →
From pseudo- + ideal.
Etymology from Wiktionary, CC BY-SA 4.0.