DerivedFrom
位相