Ensemble dans lequel on a défini une loi de composition interne.
Exemples
Toute somme et tout produit de nombres naturels est un nombre naturel.
Soit n ∈ \(\mathbb{N}\) et p ∈ \(\mathbb{N}\). Alors : ∀n, p ∈ \(\mathbb{N}\) : (n + p) ∈ \(\mathbb{N}\) et (n × p) ∈ \(\mathbb{N}\).
Toute différence et tout quotient de nombres naturels n’est pas toujours un nombre naturel.
Soit n ∈ \(\mathbb{N}\) et p ∈ \(\mathbb{N}\). Alors : ∃n, p ∈ \(\mathbb{N}\) : (n – p) ∉ \(\mathbb{N}\) et (n ÷ p) ∉ \(\mathbb{N}\).