zroupoid noun1 •A generalization of a De Morgan algebra that defines a Boolean algebra using only implication and a constant. formszroupoids
