入阿毗达磨论下十五页云:众苦永断,说名择灭。众苦者何?谓诸生死。如世尊说:苾刍当知;诸有若生;即说为苦。诸有、即是生死别名。有若不生;名苦永断。如堤堰水,如壁障风,令苦不生,名为择灭。择谓拣择。即胜善慧。于四圣谛,数数拣择;彼所得灭,立择灭名。此随所断,体有无量。以所断法,量无边故。若体一者;初道已后,修后诸道,便应无用。若言初证少分非全;即一灭体,应有多分。一体多分,与理相违。随有漏法有尔所量,择灭无为应知亦尔。此说为善。应正理故。此随道别,立八十九。随断遍知,立有九种。若随五部,立有五种。又随果别,总立为四。谓预流等。由断离灭界别立三。由断苦集及有余依无余依别,总立二种。约生死断,总立为一。如是择灭,有多异名。谓名尽离灭涅槃等。如人经说:苾刍当知;四无色蕴及眼色等,总名为人。于中假想说名有情,亦名意生,亦名为人摩纳婆等。此中自谓我眼等见色等,发起种种世俗言论。谓此具寿,有如是名,如是族姓,乃至广说。苾刍当知;此唯有想;唯有言说。如是诸法,皆是无常有为缘生。由此故苦。谓生时苦,住等亦苦。于此众苦,永断无余除弃变吐尽离染灭寂静隐没余不续起;名永不生。此极静妙。谓一切依,除弃爱尽离灭涅槃。所言一切依除弃者;谓此灭中,永舍一切五取蕴苦。言爱尽者,谓此灭中现尽诸爱。得此灭已,永离染法。故名为离。证此灭已;众苦皆息。故名为灭。证此灭已;一切灾患烦恼火灭。故名涅槃。
二解 显扬一卷十五页云:择灭者:谓由慧方便,有漏诸行,毕竟不起灭,而是离系性。
三解 佛地经论五卷三页云:由无漏慧,拣择谛理,断诸杂染,而得证故;亦名择灭。如是择灭,于真如上,假施设有;无别实物。至究竟位,说名涅槃。无所趣故,无臭秽故,离编织故,离稠林故,名为涅槃。
四解 成唯识论二卷四页云:由拣择力,灭诸杂染,究竟证会,故名择灭。
五解 杂集论二卷十页云:择灭者:谓是灭,是离系。永害随眠故。
六解 五蕴论七页云:云何择灭?谓若灭,是离系。此复云何?谓由烦恼对治故;诸蕴毕竟不生。
七解 广五蕴论十五页云:云何择灭?谓若灭,是离系。云何离系?谓烦恼对治;诸蕴毕竟不生。
八解 俱舍论一卷三页云:择灭、即以离系为性。诸有漏法,远离系缚,证得解脱;名为择灭。择、谓拣择。即慧差别。各别拣择四圣谛故。择力所得灭,名为择灭。如牛所驾车,名曰牛车。略去中言,故作是说。一切有漏法,同一择灭耶?不尔。云何?随系事别。谓随系事量,离系事、亦尔。若不尔者;于证见苦所断烦恼灭时,应证一切所断诸烦恼灭。若如是者;修于对治,则为无用。依何义说灭。无同类依灭。自无同类因义,亦不与他。故作是说,非无同类。
九解 俱舍论六卷十五页云:经部师说:已起随眠生种灭位,由拣择力,余不更生;说名择灭。余部师说:由慧功能,随眠不生;名为择灭。
十解 大毗婆论三十一卷十一页云:云何择灭?答:诸灭是离系。谓诸法灭,亦得离系,得离系得;是名择灭。又云:问:已知择灭,离系为体;应说何故名择灭耶?答:择者、谓慧。灭、是彼果。择所得灭,故名择灭。复次一向劬劳,一向加行,一向功用,拣择诸法,方得此灭;故名择灭。复次数数决择,苦等得灭;故名择灭。谓苦忍、苦智、决择苦谛;于见苦所断法得灭。集忍、集智、决择集谛;于见集所断法得灭。灭忍、灭智、决择灭谛;于见灭所断法得灭。道忍、道智、决择道谛;于见道所断法得灭。以苦等智,数数决择苦圣谛等,于修所断法得灭;故名择灭。如彼广说。
十一解 品类足论一卷七页云:择灭云何?谓灭、是离系。