阿毘達磨俱舍論

於彼漏隨增，故說名有漏。

無漏謂道諦，及三種無為，

謂虛空二滅，此中空無礙。

擇滅謂離繫，隨繫事各別，

畢竟礙當生，別得非擇滅。

論曰：說一切法略有二種，謂有漏、無漏。有

漏法云何？謂除道諦，餘有為法。所以者何？

諸漏於中等隨增故。緣滅道諦，諸漏雖生

而不隨增，故非有漏。不隨增義，隨眠品中

自當顯說。已辯有漏。無漏云何？謂道聖諦

及三無為。何等為三？虛空、二滅。二滅者何？

擇、非擇滅。此虛空等三種無為及道聖諦，名

無漏法。所以者何？諸漏於中不隨增故。於

略所說三無為中，虛空但以無礙為性，由

無障故色於中行。擇滅即以離繫為性，

諸有漏法遠離繫縛證得解脫，名為擇滅。

擇謂簡擇，即慧差別，各別簡擇四聖諦故。擇

力所得滅名為擇滅，如牛所駕車名曰牛

車，略去中言故作是說。一切有漏法同一擇

滅耶？不爾。云何？隨繫事別。謂隨繫事量，

離繫事亦爾。若不爾者，於證見苦所斷煩惱

滅時，應證一切所斷諸煩惱滅。若如是者，

修餘對治則為無用。依何義說滅無同

類？依滅自無同類因義亦不與他，故作是

說，非無同類。已說擇滅。永礙當生得非

擇滅，謂能永礙未來法生。得滅異前，名非

擇滅。得不因擇，但由闕緣。如眼與意專一

色時，餘色聲香味觸等謝。緣彼境界五識

身等住未來世畢竟不生，由彼不能緣過