Ésta es también un ideal: para cualesquiera "a", "b" ∈ "I", existen "J", "K" ∈ "T" tales que "a" ∈ "J" y "b" ∈ "K".