Se entiende que el sujeto o ente "x" es un determinado tipo de entidad y que por tanto pertenece formula_1 a un determinado conjunto formula_2 formado por todos las entidades de cierto tipo.