Every hom-set is an empty set or a singleton set

isomorphism -> pre-order

relationship/isomorphism -> pre-order

If there is an arrow between two objects, those objects have a relation

Defines a relation