Magma

The ordered pair (X,*) is said to be a magma if X is a class and *:X×X→X is a binary operation on X.

Examples of magmas

Also see

semigroup

This article is issued from Wikiversity - version of the Wednesday, June 22, 2011. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.