梵语 pratisajkhyā-nirodha，巴利语 patisavkhā-nirodha。又作数灭、智缘灭。俱舍七十五法之一，唯识百法之一。为无为法之一种，涅槃之异名。即以智慧之简择力（正确之判断力）而得之灭谛涅槃。灭，乃灭除生死（迷之生存），而使心平和之境地；至此择灭之境界，断离烦恼系缚，永不轮回。
据大毗婆沙论卷三十一、俱舍论卷一等载，以慧拣择四圣谛之理而断除烦恼时，诸有漏法即脱离系缚，此离系即称为择灭。盖凡夫自无始以来即有烦恼，彼一切之有漏法皆为烦恼所系缚；若经由慧力拣择而断除烦恼，其时，彼有漏法即能脱离系缚，故谓之灭，而于“灭”之中获得离系，证得解脱。又一切有漏法一一皆为烦恼系缚，而择灭即是离系之名，故择灭之种类与所系缚之有漏法之种类相同。所谓断、离、灭三界，皆以择灭为其体。依小乘之说，断界，指断烦恼（特指九结之中，贪以外之瞋等八结）而得择灭；离界，指离系缚（特指贪结）而得择灭；灭界，指断灭生死（特指与烦恼有密接不离关系之诸事象，即烦恼之所随增事）而得择灭。
择灭乃无为法，说一切有部以之为三无为之一，唯识宗则以之为六无为之一。又于说一切有部中，认为择灭为常住实有之法，摄属于三性中之“善”；于经部等，则以之为假立，而其解释亦与前述大有所异。依俱舍论卷六载，经部等认为由拣择力而随眠不生，名为择灭。成唯识论卷十举出二种择灭，其中，“灭缚得”系断除烦恼障所得之择灭；“灭障得”则为断除所知障等所得之择灭。
又于性净、有余、无余、无住处等四种涅槃中，性净涅槃（即真如）非摄于择灭，其余三者则总摄于择灭之中；三者之中，无住处涅槃，其体虽亦为真如，但乃须由真实之择力灭除余障而证得，故摄属于择灭。而真如与择灭之区别，在于择灭为施设有而非实有者。［品类足论卷一、大毗婆沙论卷三十二、杂阿毗昙心论卷九、大智度论卷四十二、成唯识论卷一、瑜伽师地论卷三、显扬圣教论卷一、卷十八、入阿毗达磨论卷下、顺正理论卷一、大乘义章卷二、俱舍论光记卷一、卷六、成唯识论述记卷二末、卷十末］（参阅“五缚”1204） p6225