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()