關係

設$X$和$Y$是非空集合，則直積$X \times Y$的任一子集$R \subset X \times Y$稱爲$X$和$Y$的一個關係
若$(x,y) \in R$，則稱$x$和$y$有關係$R$，記做$xRy$
若$(x,y) \notin R$，則稱$x$和$y$沒有關係$R$，記做$x\widetilde{R}y$
$R \subset X \times X$稱爲$X$上的一個關係

例如:
　　設$X=\{2,4,6,8\}$，則
　　$X$上的大於關係$R_1 = \{(x,y)|x > y\} = \{(4,2),(6,2),(8,2),(6,4),(8,4),(8,6)\}$
　　$X$上的等於關係$R_2 = \{(x,y)|x = y\} = \{(2,2),(4,4),(6,6),(8,8)\}$
　　$X$上的整除關係$R_3 = \{(x,y)|x 能整除 y\} = \{(2,2),(2,4),(2,6),(2,8),(4,4),(4,8),(6,6),(8,8)\}$