pseudo-complement

Today it means: The relative pseudo-complement of a given element (of a Heyting algebra) with respect to the least element — the "zero" of that algebra. Full definition →