【丁福保佛学大辞典】小乘立三无为：一择灭无为，旧云数灭无为。择者简择事物道理之智慧力也，数者智慧之法数（有为之法，诸数多故，总名为数），与择同。盖依智慧简择力断烦恼所显之一种灭谛，谓之择灭，其灭依择而得也。此灭体即为涅槃。名之为灭者，以其为灭烦恼而显之实体，且其体中有为诸相寂灭也。依有为诸相寂灭之义，复名为无为。二非择灭无为，旧云非数灭无为。非依智慧之简择力，但于缺生法因缘处自显之一种灭体，谓之非择灭。例如入于见道，则为圣者，于圣者身上毕竟缺凡夫性可生之因缘，因而此时对于凡夫性得一种之无为法，即非择之灭也。谓之为灭者，以其为因缘灭处所显之实体，且其体中有为诸相寂灭也。依是复名为无为。要之就所断之烦恼而寂灭不生之无为法被显，为择灭，为缺缘而寂灭不生之无为法被显，为非择灭。三虚空无为，前二无为之外，有一种之无为法，以无碍为性。无论向何法，无碍，亦无被碍。其相恰如世间所云之虚空，故名为虚空无为。世所言之虚空，虽如无为法，然彼为眼见之法。且自不碍他而为他所碍，呈广狭方圆之相，是非无为法，故称之为空界之色，而摄于色法中之显色。此虚空无为，则于色心之诸法及空界之色外，有一实体，而为此等诸法之所作也。见俱舍论一，大乘义章二，七帖见闻三本。
【丁福保佛学大辞典】见无为条。
【佛光大辞典】梵语 tri-asajskrta。指虚空、择灭、非择灭等三种无为法，乃小乘说一切有部对无为法之分类。无为法者，谓真空寂灭之理，本无造作。(一)虚空无为（梵 ākāśāsajskrta），虚空即无碍。谓真空之理不为惑染之所障碍；即以无碍为性，容受万物而遍满一切处。(二)择灭无为（梵 pratisajkhyā-nirodhāsajskrta），谓声闻之人用智拣择，远离见思系缚，证寂灭真空之理。如涅槃、解脱。(三)非择灭无为（梵 apratisajkhyā-nirodhāsajskrta），谓声闻之人证果之后，诸惑不复续起，自然契悟寂灭真空之理，不假拣择。〔俱舍论卷一、成唯识论卷二、大毘婆沙论卷三十二、异部宗轮论、入阿毘达磨论卷下〕（参阅「非择灭无为」3714、「虚空无为」5263、「择灭」6225） p629