Bilgisel sanısal mantıkta bir çözümleyici kümenin altkümesi olan, başka bir deyişle tutarlı olan önerme kümesi.