大毗婆沙論叁十一卷十二頁雲：複次此中應作是說：擇滅、非擇滅、無常滅、何差別？答：擇滅者：由擇力故；有漏法滅。非擇滅者：不由擇力，解脫疫疠；廣說如前。無常滅者：諸行散壞破沒亡退。複次擇滅，是解脫；是離系相。非擇滅，是解脫；非離系相。無常滅，非解脫；非離系相。複次擇滅，于叁世有漏法得。非擇滅，于未來不生有爲法得。無常滅，于現在一切法轉。複次擇滅，是善；彼得亦善。非擇滅，是無記；彼得亦無記。無常滅，通叁種；彼得亦叁種。複次擇滅，是無漏；彼得通有漏無漏。非擇滅，是無漏；彼得唯有漏。無常滅，通二種；彼得亦二種。複次擇滅，是不系；彼得，或色界系，或無色界系，或不系。非擇滅，是不系；彼得，唯叁界系。無常滅，叁界系，或不系；彼得，亦叁界系，或不系。複次擇滅，是非學非無學；彼得，或學，或無學，或非學非無學。非擇滅，是非學非無學；彼得，亦唯非學非無學。無常滅，通叁種；彼得，亦叁種。複次擇滅，是不斷；彼得，或修所斷，或不斷。非擇滅，是不斷；彼得，唯修所斷。無常滅，通叁種；彼得，亦叁種。複次擇滅，非擇滅，俱不染汙；彼得，亦俱不染汙。無常滅，通染汙不染汙；彼得，亦二種。如染汙，不染汙；有罪，無罪，退、不退，亦爾。複次擇滅，無異熟；彼得，或有異熟，或無異熟。非擇滅，無異熟；彼得，亦無異熟。無常滅，通二種；彼得亦二種。複次擇滅，是道果；彼得，或是道，是道果，或非道非道果。非擇滅，非道，非道果；彼得，亦非道，非道果。無常滅，或是道，非道果；或是道，亦道果；或非道，非道果；彼得亦爾。複次擇滅，滅谛攝；彼得叁谛攝。除滅谛。非擇滅，非谛攝；彼得，二谛攝。謂苦集。無常滅，叁谛攝；除滅谛。彼得亦爾。應作如是廣辨差別，而不爾者；前已說故。謂擇滅，是離系。非擇滅，無常滅，非離系。俱非離系，須辨差別。有說：二滅俱不用功得：須辨差別。擇滅，用功得。與二有異，故不須說。 - 朱芾煌