Expresar mediante el lenguaje algebraico una propiedad