小乘立叁无為：一择灭无為，旧云数灭无為。择者简择事物道理之智慧力也，数者智慧之法数(有為之法，诸数多故，总名為数)，与择同。盖依智慧简择力断烦恼所显之一种灭諦，谓之择灭，其灭依择而得也。此灭体即為涅槃。名之為灭者，以其為灭烦恼而显之实体，且其体中有為诸相寂灭也。依有為诸相寂灭之义，復名為无為。二非择灭无為，旧云非数灭无為。非依智慧之简择力，但於缺生法因缘处自显之一种灭体，谓之非择灭。例如入於见道，则為圣者，於圣者身上毕竟缺凡夫性可生之因缘，因而此时对於凡夫性得一种之无為法，即非择之灭也。谓之為灭者，以其為因缘灭处所显之实体，且其体中有為诸相寂灭也。依是復名為无為。要之就所断之烦恼而寂灭不生之无為法被显，為择灭，為缺缘而寂灭不生之无為法被显，為非择灭。叁虚空无為，前二无為之外，有一种之无為法，以无碍為性。无论向何法，无碍，亦无被碍。其相恰如世间所云之虚空，故名為虚空无為。世所言之虚空，虽如无為法，然彼為眼见之法。且自不碍他而為他所碍，呈广狭方圆之相，是非无為法，故称之為空界之色，而摄於色法中之显色。此虚空无為，则於色心之诸法及空界之色外，有一实体，而為此等诸法之所作也。见俱舍论一，大乘义章二，七帖见闻叁本。