性質 (數學)

在數學中，性質是指給定集合的任何特徵。^[1]嚴格地，性質 p 定義集合 X 中的所有元素，通常表示為這樣的函數p : X → {true, false}，如果性質存在，取值就是真；或者，也可以被視作是X的子集，其中p存在。也就是說，集合{x | p(x) = true}; p是其中的指示函數。但是，如果不表明什麼導致性質的取值，嚴格定義只定義了性質的外延，這一點是可能會被拒絕的。