緣起真如。一切有部立三無為，然於其緣起真如。一切有部立三無為，然於其中，「虛空但以無礙為性」，簡餘法也。無礙之中，「虛空但以無礙為性」，簡餘法也。
無礙之言簡於色法，色有礙故。「但以」之言，簡心、心言簡於色法，色有礙故。「但以」之言，簡心、心所及不相應二種無為。此等諸法體雖無礙，所及不相應二種無為。
此等諸法體雖無礙，同於虛空更有別體，非是但以無礙為同於虛空更有別體，非是但以無礙為性。「色於中行」者，釋虛空相也。色是性。「色於中行」者，釋虛空相也。
色是礙法，於空中行，顯空無礙，於礙法中不得礙法，於空中行，顯空無礙，於礙法中不得行故。無礙之法於空中行，不顯無礙，於礙行故。無礙之法於空中行，不顯無礙，於礙法中亦得行故。《正理》釋云「虛空但以無法中亦得行故。
《正理》釋云「虛空但以無礙為性。於中諸法最極顯現，故名虛空。是礙為性。於中諸法最極顯現，故名虛空。
是即無障以為其相，所有大種及造色聚，一切即無障以為其相，所有大種及造色聚，一切不能遍覆障故。或非所障亦非能障，是不能遍覆障故。或非所障亦非能障，是故說言無障為相。」准此論文，非能、所障故說言無障為相。」
准此論文，非能、所障者，簡空界色，雖無能障是所障故，但以無者，簡空界色，雖無能障是所障故，但以無礙為性，與此論同。《婆沙》評曰「應作是礙為性，與此論同。《婆沙》評曰「應作是說：實有虛空。以彼不知，即謂非有。由前說：實有虛空。
以彼不知，即謂非有。由前教、理實有虛空。問：若爾，虛空有何作用？教、理實有虛空。
問：若爾，虛空有何作用？答：虛空無為，無有作用。然此能為種種虛答：虛空無為，無有作用。
然此能為種種虛空界作增上緣。種種空界能與種種大種空界作增上緣。種種空界能與種種大種作近增上緣，彼大種能與有對造色等作作近增上緣，彼大種能與有對造色等作近增上緣，彼有對造色能與心心所作近近增上緣，彼有對造色能與心心所作近增上緣。若無虛空，如是展轉因果次第皆增上緣。
若無虛空，如是展轉因果次第皆不成立。勿有此失，是故虛空體相實有，不不成立。勿有此失，是故虛空體相實有，不應撥無。」論「擇滅即以至名為擇滅」，釋應撥無。」
論「擇滅即以至名為擇滅」，釋二滅。文中有三：一出性、二釋得名、三二滅。文中有三：一出性、二釋得名、三明同異。此即初也。「擇滅則以離繫為性」者，明同異。
此即初也。「擇滅則以離繫為性」者，舉離繫名，出擇滅體。所以是離繫者，由諸舉離繫名，出擇滅體。
所以是離繫者，由諸有漏遠離自性所緣繫縛，證得解脫，即此有漏遠離自性所緣繫縛，證得解脫，即此解脫名為擇滅，以此擇滅離繫為性。解脫名為擇滅，以此擇滅離繫為性。
下页续读