從邏輯規則里抽象出共有物，共有物並不被邏輯規則所限定，是超邏輯。如被某規則限定，則被並非全部規則所共有，也就是從部分邏輯抽象出，不是超邏輯。