Wiktionary
pseudo-complement
n. (context mathematics English) The relative pseudo-complement of a given element (of a Heyting algebra) with respect to the least element — the "zero" of that algebra.