Gereksinim dokümanlarında bileşen veya sistemle ilgili belirtilen nitelikler. (Örneğin, güvenilirlik, kullanılabilirlik veya tasarım kısıtları). [IEEE 1008]

Tam-durumlar kümesinden p/a türünden kaplamsal nesneler kümesine yapılan bir izerge. || F gibi bir birli yüklemin içlemi x [Fx] özelliğidir. Anl.özelik. Örn. 'Mavidir' birli yükleminin içlemini oluşturan mavi olma özelliği,kısaca x[x mavidir],her tamduruma bu tamdurumda mavi olan tek tek nesnelerin kümesini bağlayan izergedir.

Bir canlıyı meydana getiren göz rengi, saç rengi vb. gibi karakterlerin her biri.

Bir özdeği belirleyen nitelik ve nicelikler.