法相辭典
四行了滅諦相
瑜伽三十四卷十六頁云：於集諦相正覺了已；復正覺了，如是集諦無餘息滅，故名為滅。一切苦諦無餘寂靜，故名為靜。即此滅靜，是第一故，是最勝故，是無上故；說名為妙。是常住故，永出離故；說名為離。如是行者，由四種行，了滅諦相。
法相辭典