Afirmación confirmada: a es un subconjunto de b