> However, it is definitely possible to define some operation such that 1 `op` 0 := 0, just not the inverse operation of multiplication.
If you read the post this is actually exactly what the OP is saying.
If you read the post this is actually exactly what the OP is saying.
I, for one, will respectfully decline to use any programming language that defines 1/0 to be 0.