[A, I] ⊆ I.