pseudo-complement

Noun

 * 1)  The relative pseudo-complement of a given element (of a Heyting algebra) with respect to the least element — the "zero" of that algebra.