說無垢稱經疏 3.244

3.244

贊曰：此有三對。一解脫縛對，無漏名脫、有漏名縛。證得涅槃名無縛，不捨生死名無脫。二證不證對，實見諦名證，故言非不見，不見名不證，證理之時無見相故。三果非果對。聖名得果，順住生死，不一向住果，故名非得果。非聖名異生，已證真道，非異生故。常教化此，樂起煩惱，故言非離異生法得果異生。雖為一對，顯大悲者順生死，生死於異生中，重言不離。

The Commentary says: Here there are three pairs. First is the pair of liberation and bondage: anāsrava is called liberation, and sāsrava is called bondage. Realizing Nirvāṇa is called being unbound, and not abandoning saṃsāra is called being unliberated. Second is the pair of realization and non-realization: genuinely seeing the truths is called realization, and therefore it is said 'not unseeing'; not seeing is called non-realization, because when realizing the principle there is no mark of seeing. Third is the pair of fruition and non-fruition: a noble one is called 'having attained the fruition'; yet harmonizing with dwelling in saṃsāra and not solely abiding in fruition, it is called 'not having attained the fruition'. Non-noble ones are called ordinary persons; having already realized the true path, one is not an ordinary person. Constantly transforming them, one delights in giving rise to defilements, and therefore it says: 'not leaving behind the phenomena of ordinary persons.' Although attaining fruition and being an ordinary person constitute a single pair, to reveal that one of great compassion harmonizes with saṃsāra, and that saṃsāra is found among ordinary persons, it says again: 'not leaving behind.'