A \Z halmazon értelmezett \odot művelet képletének megalkotásakor épp ez volt az I. követelmény, így ez nyilvánvalóan teljesül.