（名數）小乘立三無為：一擇滅無為，舊云數滅無為。擇者簡擇事物道理之智慧力也，數者智慧之法數（有為之法，諸數多故，總名為數），與擇同。蓋依智慧簡擇力斷煩惱所顯之一種滅諦，謂之擇滅，其滅依擇而得也。此滅體即為涅槃。名之為滅者，以其為滅煩惱而顯之實體，且其體中有為諸相寂滅也。依有為諸相寂滅之義，復名為無為。二非擇滅無為，舊云非數滅無為。非依智慧之簡擇力，但於缺生法因緣處自顯之一種滅體，謂之非擇滅。例如入於見道，則為聖者，於聖者身上畢竟缺凡夫性可生之因緣，因而此時對於凡夫性得一種之無為法，即非擇之滅也。謂之為滅者，以其為因緣滅處所顯之實體，且其體中有為諸相寂滅也。依是復名為無為。要之就所斷之煩惱而寂滅不生之無為法被顯，為擇滅，為缺緣而寂滅不生之無為法被顯，為非擇滅。三虛空無為，前二無為之外，有一種之無為法，以無礙為性。無論向何法，無礙，亦無被礙。其相恰如世間所云之虛空，故名為虛空無為。世所言之虛空，雖如無為法，然彼為眼見之法。且自不礙他而為他所礙，呈廣狹方圓之相，是非無為法，故稱之為空界之色，而攝於色法中之顯色。此虛空無為，則於色心之諸法及空界之色外，有一實體，而為此等諸法之所作也。見俱舍論一，大乘義章二，七帖見聞三本。
（名數）見無為條。