非擇滅無為。
「謂虛空二滅」，「虛空」——虛空無為，「二滅」——擇滅、非擇滅。
無漏法一共這四個。
為什麼叫無漏？煩惱不随增7。
這就簡單扼要地把有漏無漏的體，有漏無漏的意義都講了。
這裡牽涉到有漏無漏、有為無為的一些問題。
一切宇宙的萬法，可以用有漏無漏包完，也可以用有為無為包完。
什麼叫有為？什麼叫無為？「為」就是造作，一切法是因緣和合造作而産生的，叫有為法。
一切法不是因緣和合造作出來的，自己本來天生就有的，叫無為法。
有為無為跟有漏無漏的關系，就是這個表。
有為法包括兩個，一個是通有漏的，一個是通無漏的。
有為的有漏就是苦谛、集谛；有為的無漏就是道谛。
無為法隻有無漏的，沒有有漏的。
無為法裡邊的滅谛，就是擇滅，即四谛裡邊的滅谛。
苦集滅道中，苦集是有漏的，滅道是無漏的；苦集道是有為的，滅谛是無為的。
從這個表對着看其中的分别，就比較清楚。
我們要把這些搞得很熟悉。
假使問，道谛是有漏還是無漏？無漏。
道谛是有為還是無為？有為。
有為法包含多少？苦集道。
無為法包括多少？就是三個無為法。
它們的關系，是法相裡邊經常要用到的。
如果不熟悉的話，有的時候提有漏就會把有為攪進去，以為有漏就是有為，實際上不一樣。
有為的包括有漏的也包括無漏的；無為法都是無漏的。
有漏的決定是有為的，有漏的無為法是沒有的；無漏的包括無為，還包括有為的。
再簡單重複一下。
有煩惱随順增長的，跟煩惱合得攏，而且還要增長、發展的，叫有漏。
跟煩惱合不攏或者是不增長的，叫無漏。
有為法是因緣和合，各種條件和合而造作出來的。
假使木匠造一個凳子，造一個桌子，他要錘頭、釘子、木料等等乒乒乓乓搞一陣子，然後一個桌子打出來，造作出來。
假使一個法不要因緣和合造作的，它自己是常的、不動的、不變的，那就是無為法。
有漏法裡邊苦集二谛是有為法，無漏法裡邊道谛也是有為法。
無漏法裡邊虛空、擇滅、非擇滅是無為法。