theorem Th10:
for
S1,
S2 being
TopStruct st
TopStruct(# the
carrier of
S1, the
topology of
S1 #)
= TopStruct(# the
carrier of
S2, the
topology of
S2 #) holds
for
T1,
T2 being non
empty TopRelStr st
TopRelStr(# the
carrier of
T1, the
InternalRel of
T1, the
topology of
T1 #)
= TopRelStr(# the
carrier of
T2, the
InternalRel of
T2, the
topology of
T2 #) holds
ContMaps (
S1,
T1)
= ContMaps (
S2,
T2)