Comment Re:Basic definitions without equality? (Score 1) 299
A definition that puts the second line into a natural language without symbols:
A binary, associative operational system, which allows for both left and right cancellation, and has a neutral element. (stating a neutral element still requires symbols, but I feel that left and right cancellation are intuitive enough as terms so as not to require it).
A binary, associative operational system, which allows for both left and right cancellation, and has a neutral element. (stating a neutral element still requires symbols, but I feel that left and right cancellation are intuitive enough as terms so as not to require it).
