Etymology
Today it means: A certain kind of subset of a partially ordered set. Full definition →
Introduced by Orrin Frink.
Etymology from Wiktionary, CC BY-SA 4.0.