Σχέση (μαθηματικά)

Σχέση στα μαθηματικά είναι ένα σύνολο διατεταγμένων ζευγών. Ένας πιο αυστηρός ορισμός είναι ο εξής: σχέση από το σύνολο Α στο σύνολο Β ονομάζεται κάθε δυνατό υποσύνολο του καρτεσιανού γινομένου $A\times B$. Αν με Ε συμβολίσουμε μια τέτοια σχέση θα ισχύει:

$E\subseteq A\times B=\lbrace (a,\beta )|a\in A,\beta \in B\rbrace$