m > n implica que A_m ⊂ A_n.