Introduction

Soient \(x \in E, y \in F\) une relation \(R\) entre \(x\) et \(y\) est une correspondance entre \(x\) et \(y\). Le couple \((x,y)\) vérifie la relation \(R\), on note \(xRy\). Si \(E = F\) la relation est dite binaire.