BSTS / Mantık Terimleri Sözlüğü
öbekleyici anlamı İng. class abstractor, classifier Alm.Klassenabstraktor Fr. abstracteur de classe
(…) 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ı. ----