普遍より亜空間が強いのは、制約が強いから普通じゃない？