Para todo x que pertenece a A, se cumple que x pertenece a B.