formalización de propiedades