谓彼随眠未断随增
谓彼随眠未断随增。非已断故。如本论说。彼于此心或有随增。或不随增。云何随增。谓彼随眠与此心相应。及缘心未断。云何不随增。谓彼随眠与此心相应。已得永断。何等名曰有随眠心。有随眠名依何义立。复由何等名有随眠。且前所言。三界各五部十五种识名有随眠心。如是诸心各有二种。谓遍非遍行。有漏无漏缘。染不染心。有差别故。依二义立有随眠名。一是随眠所随增故。二以随眠为助伴故。由随眠故名有随眠。相应随眠通断未断。所缘唯未断心名有随眠。云何与心相应烦恼。乃至未断于心随增。谓彼随眠能引起得。于心相续能为拘碍。又与来世为同类因。引相续中心等流起故。乃至未断说于心随增。断则不然。无随增义。非由断故。令彼离心。故虽已断而名有彼。以助伴性不可坏故。谓对治力于相续中能遮随眠令不现起。及能遮彼所引起得。于心相续不为拘碍。故说已断。相应随眠。无随增理。非对治力能遮随眠俱行伴性。故彼虽已断心名有随眠。若诸随眠缘心未断。随心断未断于心随增故。恒令心得有随眠名。若彼缘心随眠已断。心不由彼名有随眠。道力令心离随眠故。虽为助伴及能所缘。俱非道力能令相离。而对助伴能所缘疏。故此有名。唯据未断助伴性亲。断亦名有。此中身见相应之心。由所相应无明身见随增伴性。名有随眠。由自部余见集断遍唯随增性名有随眠。所余俱非。故非有彼。其余见苦见集所断遍不遍心。如理应思。见灭所断邪见俱心。由所相应无明邪见随增伴性。名有随眠。由自部摄有漏缘遍唯随增性。名有随眠。所余俱非。故非有彼。其余见灭见道所断。若缘无漏缘有漏心。如其所应例应思择。修道所断贪相应心。由所相应无明及爱随增伴性。名有随眠。由自部余及诸遍行唯随增性。名有随眠。所余俱非。故非有彼。余修所断烦恼俱心。如其所应例应思择。诸修所断不染污心。由自部摄随眠及遍唯随增性。名有随眠。如是所论皆约未断。彼若断已有伴性者。唯由伴性名有随眠。依此义门应作略说。颂曰。