452 B
452 B
up::ensemble #maths/algèbre
Pour une Loi
Soit E
un ensemble non vide
Soit *
une loi sur E
.
Soit A
une partie de E
.
On dit que A
est stable pour la loi $*$ ssi :
\forall (a, b)\in A, a*b\in A
(si *
est aussi une loi de composition interne sur A
)
Pour une fonction
Soit E
un ensemble non vide
Soit f
une fonction définie au moins sur E
f
est stable sur $E$ ssi : \forall x \in E, f(x) \in E