a (mathematics) Not actually present, but considered as present when limits at infinity are included.
n (mathematics|order theory) A non-empty set | empty lower set (of a partially ordered set) which is closure|closed under binary suprema (a.k.a. joins).[http://en.wikipedia.org/wiki/Boolean_prime_ideal_theorem#Prime_ideal_theorems]