Es decir: no para todo elemento y de B se cumple que y también pertenezca a A.