deferred class
	GROUP_ELEMENT

General
	cluster: time
	description: 
		"Invertible object with an internal + operation.
		
		Note: The model is that of a commutative group."

Ancestors
	ANY

Queries
	identity alias "+": [like Current] GROUP_ELEMENT
	minus alias "-" (other: [like Current] GROUP_ELEMENT): [like Current] GROUP_ELEMENT
	opposite alias "-": [like Current] GROUP_ELEMENT
	plus alias "+" (other: [like Current] GROUP_ELEMENT): [like Current] GROUP_ELEMENT
	zero: [like Current] GROUP_ELEMENT

Constraints
	neutral addition
	self subtraction

Generated by ISE EiffelStudio