# relations

tags
: [[category theory]]

source
: [[ACT4E - Session 2 - Connection]]

A relation is a special type of [[category]]. A relation is a subset of the Cartesian product \\(X \times Y\\).