I.3.4 Group operators

Eight such operators have been defined. The meaning and behavior of the four elementary dyadic operations are first explained below.

• “+” operator returns the union of two Groups.

• “-” operator returns the difference of two Groups.

• “*” operator returns the intersection of two Groups.

• “/” operator: if $x$ and $y$ are two Groups, then $x∕y=(x+y)-(x*y)$. (The operation is equivalent to a logical “exclusive or” operation on the entities.)