Jónsson–Tarski duality