阿毘達磨順正理論

已辯有漏及有漏因，云何無漏？謂道聖諦及

三無為。有異釋言：與漏等類故名有漏，如有

種族。復有釋言：為漏所污故名有漏，如有

毒食。或有釋言：與漏俱斷故名有漏，如天帝

釋有怛策迦與彼俱墮。如是等類訓釋眾多。

與彼相違名無漏法。道聖諦者，謂非有漏色

等五蘊。三無為者，虛空、二滅，所謂擇滅及非

擇滅。此虛空等三種無為及道聖諦，由是因

緣名為無漏。次前已說其道聖諦，後當廣

辯。於略所說三無為中，虛空但以無礙為

性，於中諸法最極顯現，故名虛空。是則無障

以為其相，所有大種及造色聚一切不能遍

覆障故。或非所障亦非能障，是故說言無障

為相。已說虛空。擇滅即以離繫為性，於四聖

諦各別簡擇故名為擇。即是善慧差別為

性，離繫涅槃是此果故，名為擇滅。有作是言：

諸所斷法同一擇滅。對法者言隨繫事別，若

諸所斷同一擇滅，證得苦法智忍所斷煩惱

滅時，餘煩惱滅為證得不？若證得者，修餘對

治則為無用；若不證得，是則一物證少非餘，

與理相違，有分過故。由是定應許離繫事，隨

繫事量，不違正理。已說擇滅。永礙當生得非

擇滅。擇謂如理勤所成慧，不由此慧有法永

礙未來法生，名非擇滅。如眼與意專一色時，

於所餘色及一切聲香味觸等念念滅中，對

彼少分意處法處得非擇滅，以五識身及與

一分意識身等於已滅境終不能生，緣俱境

故。由彼生用，繫屬同時所依緣故。若法能礙

彼法生用，此法離慧定礙彼法，令住未來永