HomePage | RecentChanges | Preferences

The standard way of defining a relation R between a SeT X and a SeT Y is as some SubSet of the CartesianProduct? (X x Y). We write aRb if and only if (a,b) is in R. This can also be looked at as a mapping from (X x Y) to 2={0,1}.

Some particularly important kind of relations are MappinGs, EquivalenceRelations, and PartialOrders.

HomePage | RecentChanges | Preferences
This page is read-only | View other revisions
Last edited January 29, 2001 9:01 am by JoshuaGrosse (diff)