BSTS / Mantık Terimleri Sözlüğü
saptanır küme anlamı İng. decidable set Alm. entscheidbare Menge Fr. ensemble décidable
İlgili evrenin herhangi bir öğesinin kendi öğesi de olup olmadığı sonlu sayıda adımla belirlenebilen küme. || Ayırt edici izergesi işlemlenebilir olan birdeyim kümesi saptanır bir kümedir. Anl. yinelgen küme.