すなわち、点付き空間からへの点付き写像とは、写像が各空間の位相に関して連続で、を満たすときに言い、それをふつうは