up::[[algèbre SPC]]
#s/informatique

----

L'opération $\cap$ définie comme :
soient $I$ et $J$ deux instances :
$I \cap J = \{ t \mid t \in I \wedge t \in J \}$