俱舍论(真字函第一卷)无漏谓道谛及三种无为谓虗空二灭此中空无碍择灭谓离系随系事各别毕竟碍当生别得非择灭。
论释无漏云何谓道圣谛及三无为何等为三虗空二灭二灭者何择非择灭此虗空等三种无为及道圣谛名无漏法(云云)三无为中虗空但以无碍为性由无障故色于中行择灭即以离系为性诸有漏法远离系缚证得解脱名为择灭择谓拣择即慧差别各别拣择四圣谛故择力所得灭名为择灭(云云)云何随系事别谓随系事量离系事亦尔(云云)永碍当生得非择灭谓能永碍未来法生得灭异前名非择灭得不因择但由阙缘如眼与意专一色时余色声香味触等谢缘彼境界五识身等住未来世毕竟不生由彼不能缘过去境缘不具故得非择灭。
辅行(五下)(十二)三无为者一虗空二择灭三非择灭旧名数缘非数缘也俱舍颂云此中空无碍谓太虗空无碍为性非谓所见空一显色及窍隙等颂云择灭谓离系随系事各别随三界系见见品品皆名为系所系不同名为随事离一系故得一择灭择力所得灭名为择灭择谓断智推度令灭故名择灭非择灭者颂云毕竟碍当生别得非择灭此非择灭二类不同谓根尘阙缘及所证位诸无知惑不得续起名碍当生如缘一色时于余诸色及余四尘得非择灭为正缘色碍余色等当不生故名碍当生。
析玄(下)(廿七)今此中约见道前凡夫断惑不分理事一时合断问此见道前凡夫位断惑有何所证答于一一品惑解脱道中皆证一分非择灭无为又(下)(卅三)言此有八十九解脱道及灭者即八十九品解脱道智是有为果八十九品择灭理是无为果谓见道有八解脱道及所证八品择灭理修道有八十一品解脱道及八十一品择灭理故有为无为各成八十九品也。
净名疏(九)(廿五)但三无为一是涅槃二非涅槃垂裕记(十)(十九)一是涅槃者暹云择灭无为也二非涅槃者虗空及非择灭也。
不思议境秖可通贯事理不可分对事理余九亦然夫得意者观不思议境任运离四性计不如是不足以为端坐修理观人也然约性离计乃寄起明相耳非谓推四性也才推四性则是不得意者改观属事故义例云从事则专照起心四性叵得此对上理观言也至于破法徧中历余一心例余阴入若理观已成则是观成历法故十义书云例余阴入合在十乘文末但从初至此单约识心从此已去备历五阴以其文便在破徧示耳历缘对境不言可知若不得意者亦须改观历余一心例余阴入故辅行云前观总无明心未必是宜更历余心等十义书以四义明之自有内心修观内外兼修舍内观外专修外观者不然修内心专观及外境事观还用不思议境等十乘否先达以事理二观皆推四性及将不思议境分对事理夫乃不可乎。