Axioms from Tarski-Givant's monograph