Biçimsel bir dilin her çekirdek önermesinin kendisini ya da değillemesini kapsayıp başka hiç bir öğesi olmayan küme. ||Örn. (?)
