En filosofía, lógica y matemática, una propiedad es un atributo o cualidad de un objeto. Por ejemplo, la sangre tiene la propiedad de ser roja. Las propiedades también se pueden considerar objetos, y pueden por lo tanto tener otras propiedades. Por ejemplo, el rojo tiene la propiedad de ser un color.Las propiedades se expresan mediante un concepto universal, que significan formalmente una clase bajo el punto de vista lógico.En la lógica aristotélica, las propiedades son uno de los modos de relación que puede haber entre el sujeto y el predicado de una proposición según el juicio categórico aristotélico.