PartOf
開集合