Dans cet exercice, le professeur parle des extensions d’une loi interne. Soient X un ensemble, E un ensemble muni d’une loi interne *. On peut munir E X, d’une loi interne encore notée * définie par : ∀ f, g ∈ EX, ∀ x ∈ E, (f * g) (x) = f(x) * g(x).