俱舍論頌疏論本 1.54

1.54

「有漏無漏法，除道餘有為，
於彼漏隨增，故說名有漏。
無漏謂道諦，及三種無為，
謂虛空二滅。此中空無礙，
擇滅謂離繫，隨繫事各別，
畢竟礙當生，別得非擇滅。」

"Tainted and untainted phenomena: / conditioning factors other than the path.
Because the outflows increase in accordance with them, / they are therefore stated to be tainted.
Untainted refers to the truth of the path / and three kinds of unconditioned factors,
namely space and the two cessations. / Here, space is unobstructed;
cessation through deliberation refers to detachment from bondage: / each distinct according to the bound entity.
Obstruction of what is yet to arise forever: / cessation not through deliberation is obtained distinctly."