大毗婆沙论一百九十二卷三页云：如说四有，谓本有、中有、生有、死有。有，声目多义如前广说。此中有，声说属众同分有情数五蕴名有。云何本有？答：除生分、死分诸蕴，中间诸有；此卽一期五蕴四蕴为性。问：何故此有说名本有？答：此是前时所造业生，故名本有。问：若尔，余有亦是本有？皆前时所造业所生故。答：若是前时所造业生，粗显易觉，明了现见者，说名本有。余虽前时所造业生，而微隐难觉，非明了现见，是以不说。云何死有？答：死分诸蕴，则命终时五蕴四蕴为性。云何中有？答：除死分、生分诸蕴中间诸有，则二有中间五蕴为性。问：何故此有说名中有？答：此于二有中间生故，名中有。问：若尔，余有亦是中有？皆于二有中间生故。答：若于二有中间生，非趣所摄者名中有。余虽二有中间生，而是趣摄，不名中有。云何生有？答：生分诸蕴，则结生时五蕴四蕴为性。如彼广说。 - 朱芾煌

大毗婆沙论一百九十九卷十六页云：四有边等论者：一、由天眼，见下唯至无间地狱，见上唯至初静虑天。执我于中，悉皆遍满。彼作是念；过此若有我及世间；我亦应见。既更不见；故知非有。由斯便执我及世间，俱是有边。卽是二种有分限义。二、由依止胜分静虑，发净天眼；傍见无边，执我于中悉皆遍满。由斯便执我及世间，俱是无边。卽是二种无分限义。三、由天眼及神境通；由天眼通，见下唯至无间地狱，见上唯至初静虑天。由神境通，运身傍去，不得边际。遂于上下，起有边想；于傍世界，起无边想。执我于中，悉皆遍满。由斯便执我及世间，亦有边，亦无边。卽是二种俱有分限无分限义。四、非有边非无边者：卽遮第三，为此第四。彼作是念：我及世间，俱不可说定是有边，定是无边。然皆实有。或有说者：彼见世间，横无边故；执我世间俱非有边。彼见世间，竖有边故；执我世间，俱非无边。虽无决定；而实有我。复有说者；彼执我体，或舒或卷；不可定说。舒无边故；说非有边。卷有边故；说非无边。问：如是四种，既缘现在；云何说为前际分别？答：彼待未来，亦名前际。复有说者：此四由忆成劫坏劫而建立故；皆得说为前际分别，谓第一论，由忆过去成劫之时，我及世间，竖有分限故；便起有边想。若第二论，由忆过去成劫之时，我及世间，横无分限故；便起无边想。若第三论，由忆过去成劫之时，我及世间，竖有分限，横无分限；起亦有边亦无边想。若第四论，由忆过去坏劫之时，我及世间，虽不可得分量狭广；而是实有。起非有边非无边想。有作是说：执有边者，卽是断见。执无边者，卽是常见。执亦有边亦无边者，卽是一分断见一分常见。执非有边非无边者，卽是唯起萨迦耶见。如是四种前际分别有边等论，依前所说多四事起。 - 朱芾煌

入阿毗达磨论下十一页云：此四有为之有为相。若有此四有为相者；便名有为。非虚空等。然世尊说有三有为之有为相。有为之起，亦可了知。尽及住异，亦可了知。为所化生，厌有为故。如示异耳与吉祥俱。住异二相，合说为一。是故定有四有为相。非卽所相有为法体。若卽所相有为体者；如所相体，与能相一；能相亦应展转无异。若尔；诸法灭时应生，生时应灭。或全不生。此四本相，是有为故。如所相法，有四随相。谓名生生，乃至灭灭。然非无穷。以四本相各相八法，随相唯能各相一故。谓法生时，并其自体，九法俱起。自体为一。相随相八。本相中生，除其自体生；余八法，随相中生。于九法内，唯生本生。势力劣故。住异灭相，应知亦尔。本相依法，随相依相。法因相故，得有作用。相因随相，得有作用。作用者何？谓生住异灭。所生等者，谓引果功能。故有为法，体虽恒有；而用非常。假兹四相，内外因力。因得成故。 - 朱芾煌