阿毘達磨大毘婆沙論

名有隨眠心。於見苦集所斷隨眠由一事

故名有隨眠心。謂隨增性。於餘隨眠無二

事故非有隨眠心。復次見苦所斷心有二

種。一遍行隨眠相應心。二非遍行隨眠相

應心。見集所斷心亦爾。見滅所斷心有二

種。一有漏緣隨眠相應心。二無漏緣隨眠相

應心。見道所斷心亦爾。修所斷心有二種。

一染污心。二不染污心。見苦所斷遍行隨眠

相應心。於見苦所斷遍行隨眠由二事故

名有隨眠心。於見苦所斷非遍行隨眠及見

集所斷遍行隨眠由一事故名有隨眠心。

謂隨增性。於餘隨眠無二事故非有隨眠

心。見苦所斷非遍行隨眠相應心。於見苦

所斷非遍行隨眠由二事故名有隨眠心。

於見苦集所斷遍行隨眠由一事故名有

隨眠心。謂隨增性。於餘隨眠無二事故

非有隨眠心。見集所斷遍行隨眠相應心。

於見集所斷遍行隨眠由二事故名有隨

眠心。於見集所斷非遍行隨眠及見苦所斷

遍行隨眠由一事故名有隨眠心。謂隨增

性。於餘隨眠無二事故非有隨眠心。見集

所斷非遍行隨眠相應心。於見集所斷非遍

行隨眠由二事故名有隨眠心。於見苦集

所斷遍行隨眠由一事故名有隨眠心。謂隨

增性。於餘隨眠無二事故非有隨眠心。見

滅所斷有漏緣隨眠相應心。於見滅所斷有

漏緣隨眠由二事故名有隨眠心。於見苦

集所斷遍行隨眠由一事故名有隨眠心。