0 and 1 are just idiomatic though, correct? The important part, from my knowledge of abstract algebra, is that there exist an identity for any operation function (<i>) such that for all x in your domain, x (</i>) identity = x.