---
up: "[[algèbre]]"
tags: "#s/maths/algèbre"
---

> [!definition] 
> Soit $E$ un ensemble non vide. Une _relation sur $E$_ est la donnée d'une propriété de $E\times E$ telle que pour tout couple $(x, y)\in E\times E$, on puisse affirmer que la propriété est soit Vraie, soit Fausse.
> Autrement dit, c'est la donnée d'une [[application]] de $E\times E$ dans $\mathbb{B}$ l'[[ensemble des booléens]].

```breadcrumbs
title: "Sous-notes"
type: tree
collapse: false
show-attributes: [field]
field-groups: [downs]
depth: [0, 0]
```