本原集

本原集(primitive set)格的一類重要的子集.設屍是格1的一個非空有限子集，若屍滿足:

則稱屍為本原集.這是韋洛(Wi11e,R.)於1972年給出的定義.