【无庄严灭】 p1067集论五卷十三页云：何等无庄严故？谓慧解脱阿罗汉所有灭。
【胜义灭谛】 p1104集论五卷十三页云：何等胜义故？谓以圣慧永拔种子所得灭。
【圆满灭】 p1240集论五卷十三页云：何等圆满故？谓诸无学阿罗汉果摄等所有灭。
【有庄严灭】 p0547集论五卷十三页云：何等有庄严故？谓俱分解脱三明六通阿罗汉等所有灭。