梵语pratisam!khya^-ni=rodha，巴利语patisan%kha^-niro=dha。又作数灭、智缘灭。俱舍七十五法之一，唯识百法之一。为无为法之一种，涅槃之异名。即以智慧之简择力（正确之判断力）而得之灭谛涅槃。灭，乃灭除生死（迷之生存），而使心平和之境地；至此择灭之境界，断离烦恼系缚，永不轮回。
据大毗婆沙论卷三十一、俱舍论卷一等载，以慧拣择四圣谛之理而断除烦恼时，诸有漏法即脱离系缚，此离系即称为择灭。盖凡夫自无始以来即有烦恼，彼一切之有漏法皆为烦恼所系缚；若经由慧力拣择而断除烦恼，其时，彼有漏法即能脱离系缚，故谓之灭，而于“灭”之中获得离系，证得解脱。又一切有漏法一一皆为烦恼系缚，而择灭即是离系之名，故择灭之种类与所系缚之有漏法之种类相同。所谓断、离、灭三界，皆以择灭为其体。依小乘之说，断界，指断烦恼（特指九结之中，贪以外之嗔等八结）而得择灭；离界，指离系缚（特指贪结）而得择灭；灭界，指断灭生死（特指与烦恼有密接不离关系之诸事象，即烦恼之所随增事）而得择灭。
择灭乃无为法，说一切有部以之为三无为之一，唯识宗则以之为六无为之一。又于说一切有部中，认为择灭为常住实有之法，摄属于三性中之“善”；于经部等，则以之为假立，而其解释亦与前述大有所异。依俱舍论卷六载，经部等认为由拣择力而随眠不生，名为择灭。成唯识论卷十举出二种择灭，其中，“灭缚得”系断除烦恼障所得之择灭；“灭障得”则为断除所知障等所得之择灭。
又于性净、有余、无余、无住处等四种涅槃中，性净涅槃（即真如）非摄于择灭，其余三者则总摄于择灭之中；三者之中，无住处涅槃，其体虽亦为真如，但乃须由真实之择力灭除余障而证得，故摄属于择灭。而真如与择灭之区别，在于择灭为施设有而非实有者。［品类足论卷一、大毗婆沙论卷三十二、杂阿毗昙心论卷九、大智度论卷四十二、成唯识论卷一、瑜伽师地论卷三、显扬圣教论卷一、卷十八、入阿毗达磨论卷下、顺正理论卷一、大乘义章卷二、俱舍论光记卷一、卷六、成唯识论述记卷二末、卷十末］（参阅“五缚”1204）
（术语）涅槃之异名。灭者灭诸相之无为法也。涅槃者是由真智之拣择力所得之灭法，故曰择灭。俱舍论一曰：“择谓拣择，即慧差别，各别拣择四圣谛故。择力所得灭名为择灭，如牛所驾车名曰牛车，略去中言故作是说。”唯识述记二末曰：“即此真如，名为择灭，即由慧力方证会故。”
涅槃的别名，因涅槃是人类最高智慧所选择的寂灭法。 - 陈义孝编
入阿毗达磨论下十五页云：众苦永断，说名择灭。众苦者何？谓诸生死。如世尊说：苾刍当知；诸有若生；卽说为苦。诸有、卽是生死别名。有若不生；名苦永断。如堤堰水，如壁障风，令苦不生，名为择灭。择谓拣择。卽胜善慧。于四圣谛，数数拣择；彼所得灭，立择灭名。此随所断，体有无量。以所断法，量无边故。若体一者；初道已后，修后诸道，便应无用。若言初证少分非全；卽一灭体，应有多分。一体多分，与理相违。随有漏法有尔所量，择灭无为应知亦尔。此说为善。应正理故。此随道别，立八十九。随断遍知，立有九种。若随五部，立有五种。又随果别，总立为四。谓预流等。由断离灭界别立三。由断苦集及有余依无余依别，总立二种。约生死断，总立为一。如是择灭，有多异名。谓名尽离灭涅盘等。如人经说：苾刍当知；四无色蕴及眼色等，总名为人。于中假想说名有情，亦名意生，亦名为人摩纳婆等。此中自谓我眼等见色等，发起种种世俗言论。谓此具寿，有如是名，如是族姓，乃至广说。苾刍当知；此唯有想；唯有言说。如是诸法，皆是无常有为缘生。由此故苦。谓生时苦，住等亦苦。于此众苦，永断无余除弃变吐尽离染灭寂静隐没余不续起；名永不生。此极静妙。谓一切依，除弃爱尽离灭涅盘。所言一切依除弃者；谓此灭中，永舍一切五取蕴苦。言爱尽者，谓此灭中现尽诸爱。得此灭已，永离染法。故名为离。证此灭已；众苦皆息。故名为灭。证此灭已；一切灾患烦恼火灭。故名涅盘。
二解 显扬一卷十五页云：择灭者：谓由慧方便，有漏诸行，毕竟不起灭，而是离系性。
三解 佛地经论五卷三页云：由无漏慧，拣择谛理，断诸杂染，而得证故；亦名择灭。如是择灭，于真如上，假施设有；无别实物。至究竟位，说名涅盘。无所趣故，无臭秽故，离编织故，离稠林故，名为涅盘。
四解 成唯识论二卷四页云：由拣择力，灭诸杂染，究竟证会，故名择灭。
五解 杂集论二卷十页云：择灭者：谓是灭，是离系。永害随眠故。
六解 五蕴论七页云：云何择灭？谓若灭，是离系。此复云何？谓由烦恼对治故；诸蕴毕竟不生。
七解 广五蕴论十五页云：云何择灭？谓若灭，是离系。云何离系？谓烦恼对治；诸蕴毕竟不生。
八解 俱舍论一卷三页云：择灭、卽以离系为性。诸有漏法，远离系缚，证得解脱；名为择灭。择、谓拣择。卽慧差别。各别拣择四圣谛故。择力所得灭，名为择灭。如牛所驾车，名曰牛车。略去中言，故作是说。一切有漏法，同一择灭耶？不尔。云何？随系事别。谓随系事量，离系事、亦尔。若不尔者；于证见苦所断烦恼灭时，应证一切所断诸烦恼灭。若如是者；修于对治，则为无用。依何义说灭。无同类依灭。自无同类因义，亦不与他。故作是说，非无同类。
九解 俱舍论六卷十五页云：经部师说：已起随眠生种灭位，由拣择力，余不更生；说名择灭。余部师说：由慧功能，随眠不生；名为择灭。
十解 大毗婆论三十一卷十一页云：云何择灭？答：诸灭是离系。谓诸法灭，亦得离系，得离系得；是名择灭。又云：问：已知择灭，离系为体；应说何故名择灭耶？答：择者、谓慧。灭、是彼果。择所得灭，故名择灭。复次一向劬劳，一向加行，一向功用，拣择诸法，方得此灭；故名择灭。复次数数决择，苦等得灭；故名择灭。谓苦忍、苦智、决择苦谛；于见苦所断法得灭。集忍、集智、决择集谛；于见集所断法得灭。灭忍、灭智、决择灭谛；于见灭所断法得灭。道忍、道智、决择道谛；于见道所断法得灭。以苦等智，数数决择苦圣谛等，于修所断法得灭；故名择灭。如彼广说。
十一解 品类足论一卷七页云：择灭云何？谓灭、是离系。 - 朱芾煌