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