包含写像 i: Y → X は連続だから可測