BETİMLEYİCİ İng. descriptor, singular description operator, iota operator
MsXLabs.org & TDK, Türk Dil Kurumu
1. Bir tek nesnenin gerçeklediği px birli açık önermesinden, sözü geçen tek nesneyi gösteren (
) deyimini oluşturan "İX birli değişken bağlayıcısı. || Dizimsel türü: a | p.