Walther Mayer dio una definición axiomática del mismo en 1928.