В математике свойство — это любая характеристика, применимая к данному множеству . [1] Строго говоря , свойство p , определенное для всех элементов множества X , обычно определяется как функция p : X → {true, false}, которая истинна всякий раз, когда свойство выполняется; или, что то же самое, как подмножество X , для которого выполняется p ; т.е. набор { x | р ( х ) = истина}; p — его индикаторная функция . Однако можно возразить, что строгое определение определяет лишь расширение свойства и ничего не говорит о том, что заставляет свойство сохраняться именно для этих значений. [ нужна цитата ]
Из объектов :
Дополнительные примеры см. в разделе Категория:Алгебраические свойства элементов .
Из операций :
Дополнительные примеры см. в разделе Категория:Свойства двоичных операций .