axiomatizes

not defined yet