öbekleyici

öbekleyici İng. class abstractor, classifier

(…) birli açık önermesinden, bu açık önermeyi gerçekleyen özbirey ya da kümeler öbeğini gösteren (…) deyimini oluşturan {x|...} biçimindeki değişken bağlayıcısı. || (…) yerine (…) ya da (…) de yazılır. Biçimsel tanım: (…) (a bir özbireydir) V (a bir kümedir)(…) (öbekleme ilksav kalıbı) .Anl. öbek soyutlayıcısı. Krş.. soyutlayıcı, bağıntı soyutlayıcısı. ----

---