In mathematics, a Jónsson–Tarski algebra or Cantor algebra is an algebraic structure encoding a bijection from an infinite set onto the product . They were introduced by ., named them after Georg Cantor because of Cantor's pairing function and Cantor's theorem that an infinite set has the same number of elements as . The term Cantor algebra is also occasionally used to mean the Boolean algebra of all clopen subsets of the Cantor set, or the Boolean algebra of Borel subsets of the reals modulo meager sets (sometimes called the Cohen algebra).
The group of order-preserving automorphisms of the free Jónsson–Tarski algebra on one generator is the Thompson group .
A Jónsson–Tarski algebra of type 2 is a set with a product from to and two 'projection' maps and from to, satisfying,, and . The definition for type > 2 is similar but with projection operators.
If is any bijection from to then it can be extended to a unique Jónsson–Tarski algebra by letting be the projection of onto the th factor.