Sayılabilir sayıda yalıncadan oluşan, bunlardan dilemsel ikisinin kesişimi ya boş ya da bunlardan her birinin birer ayrıtına eşit olan ve hiçbir yalıncanın köşesi söz konusu küme içindeki yalıncalardan sonlu sayıdasından daha çoğunca kapsanmayan küme.
TDK Matematik Terimleri Sözlüğü