《瑜伽师地论卷第三十四》弥勒菩萨说

唐三藏沙门玄奘奉诏译（录出）

于灭谛相正觉了已；复正觉了，真对治道，于所知境，能通寻求义故；能实寻求义故；由于四门随转义故；一向能趣涅盘义故；所以说名道、如、行、出。
如是行者，由四种行，了道谛相。待续

注：*道谛～（参考资料）杂集论十卷十五页云：复次道谛有四行相。谓道相、如相、行相、出相。何故名道相？因此寻求真实义故。所以者何？由此圣道，是诸圣者证真义路；是故名道。何故名如相？以能对治诸烦恼故。所以者何？一切烦恼，皆不如理。道能除此，是故名如。何故名行相？善能成办心，令不颠倒故。所以者何？心不觉悟真实道理，于无常等法，起常等颠倒。善能修治此颠倒心、令离颠倒，觉真实义；是故名行。何故名出相？趣真常迹故。所以者何？由此圣道、能趣出离究竟常迹；是故名出。