佛教词典【八种无为】 p0078
显扬一卷十五页云：无为者：此有八种。谓虚空、非择灭、择灭、不动、想受灭、善法真如、不善法真如、无记法真如。虚空者：谓诸心心法所缘外色对治境界性。非择灭者：谓因缘不会，于其中间，诸行不起灭，而非离系性。择灭者：谓由慧方便，有漏诸行，毕竟不起灭，而是离系性。不动者：谓离遍净欲，得第四静虑；于其中间，苦乐离系性。想受灭者：谓离无所有处欲，入灭尽定；于其中间，不恒现行心心法，及恒行一分心心法灭，而离系性。善不善无记法真如者：谓于善不善无记法中，清净境界性。
二解集论一卷十二页云：此无为法，复有八种。谓善法真如、不善法真如、无记法真如、虚空、非择灭、择灭、不动、及想受灭。何等善法真如？谓无我性。亦名空性，无相、实际、胜义、法界。何故真如说名真如？谓彼自性，无变异故。何故真如名无我性？离二我故。何故真如名为空性？一切杂染所不行故。何故真如名为无相？以一切相，皆寂静故。何故真如名为实际？以无颠倒所缘性故。何故真如名为胜义？最胜圣智所行处故。何故真如名为法界？一切声闻独觉诸佛妙法所依相故。如善法真如，当知不善法真如，无记法真如，亦尔。何等虚空？谓无色性。容受一切所作业故。何等非择灭？谓是灭，非离系。何等择灭？谓是灭，是离系。何等不动？谓已离遍净欲，未离上欲，苦乐灭。何等想受灭？谓已离无所有处欲，超过有顶，暂息想作意为先故；诸不恒行心心所灭，及恒行一分心心所灭。
