Noun
pseudo-complement (plural pseudo-complements) (mathematics) The relative pseudo-complement of a given element (of a Heyting algebra) with respect to the least element — the "zero" of that algebra.