| p appartient à q | lorsque tous les éléments de p sont aussi des éléments
de q (c-à-d: (p < q) lorsque p est un sous-ensemble de q). |
| p inclus q | lorsque tous les éléments de q sont aussi des éléments
de p (c-à-d: (p > q) lorsque q est un sous-ensemble de p). |
| Propriétés: |
| (p < q) = (q > p) |
| (p < q) = ((p & q) = p) |
| (p > q) = ((p & q) = q) |
| Table de vérité de l'appartenance: | Table de vérité de l'inclusion: | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||