Mantık Terimleri Sözlüğü
öbeklenim
{x|...} öbekleyicisini Px gibi bir açık önermeye uygulamakla oluşturulan ( ) öbeği terimi.