31 Relations

Mathematically, a relation on a set X is a subset of X ×X. In GAP a relation on X is a general mapping from X to itself. In fact, the category IsBinaryRelation is the same as the category IsEndoGeneralMapping.

Of course, a binary relation can have the properties: IsReflexiveBinaryRelation, IsTransitiveBinaryRelation and IsSymmetricBinaryRelation. When all three are true, we call the relation an equivalence relation.

Sections

1. General Binary Relations
2. Equivalence Relations

[Top] [Previous] [Up] [Next] [Index]