Noun
zroupoid (plural zroupoids) (mathematics) A generalization of a De Morgan algebra that defines a boolean algebra using only implication and a constant.