Jónsson–Tarski algebra

GPTKB entity