org.metasyntactic.math.algebra
Interface Groupoid

All Superinterfaces:
java.util.Collection, java.util.Set, Set
All Known Subinterfaces:
AbelianGroup, Field, Group, Monoid, Ring, Semigroup
All Known Implementing Classes:
AbstractField

public interface Groupoid
extends Set

A groupoid is a set with a binary operation ∗.

A binary operation * on a set G is a function *:G x G → G. For any a,b ∈ G we shall write a * b for *(a,b).


Method Summary
 BinaryOperation getBinaryOperation()
           
 
Methods inherited from interface org.metasyntactic.math.algebra.Set
difference, intersection, union
 
Methods inherited from interface java.util.Set
add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray
 

Method Detail

getBinaryOperation

public BinaryOperation getBinaryOperation()