public class Preorder.RelationSet extends java.lang.Object implements Category.HomSet
Modifier and Type | Field and Description |
---|---|
Preorder.Relation |
morphism |
Constructor and Description |
---|
Preorder.RelationSet() |
Preorder.RelationSet(java.lang.Integer a,
java.lang.Integer b) |
public final Preorder.Relation morphism