begin
registration
let T be ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopSpace) ;
let f be ( (
Function-like V33( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopSpace) : ( ( ) ( non
empty )
set ) ,
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) )
continuous ) ( non
empty V19()
V22( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopSpace) : ( ( ) ( non
empty )
set ) )
V23(
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) )
Function-like V29( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopSpace) : ( ( ) ( non
empty )
set ) )
V33( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopSpace) : ( ( ) ( non
empty )
set ) ,
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) )
V141()
V142()
V143()
continuous )
RealMap of ( ( ) ( non
empty )
set ) ) ;
let g be ( (
non-empty Function-like V33( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopSpace) : ( ( ) ( non
empty )
set ) ,
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) )
continuous ) ( non
empty V19()
non-empty V22( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopSpace) : ( ( ) ( non
empty )
set ) )
V23(
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) )
Function-like V29( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopSpace) : ( ( ) ( non
empty )
set ) )
V33( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopSpace) : ( ( ) ( non
empty )
set ) ,
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) )
V141()
V142()
V143()
continuous )
RealMap of ( ( ) ( non
empty )
set ) ) ;
cluster K495(
f : ( (
Function-like V33( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopStruct ) : ( ( ) ( non
empty )
set ) ,
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) )
continuous ) ( non
empty V19()
V22( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopStruct ) : ( ( ) ( non
empty )
set ) )
V23(
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) )
Function-like V29( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopStruct ) : ( ( ) ( non
empty )
set ) )
V33( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopStruct ) : ( ( ) ( non
empty )
set ) ,
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) )
V141()
V142()
V143()
continuous )
Element of
K6(
K7( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopStruct ) : ( ( ) ( non
empty )
set ) ,
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) ) : ( ( ) (
V19()
V141()
V142()
V143() )
set ) ) : ( ( ) ( )
set ) ) ,
g : ( (
non-empty Function-like V33( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopStruct ) : ( ( ) ( non
empty )
set ) ,
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) )
continuous ) ( non
empty V19()
non-empty V22( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopStruct ) : ( ( ) ( non
empty )
set ) )
V23(
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) )
Function-like V29( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopStruct ) : ( ( ) ( non
empty )
set ) )
V33( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopStruct ) : ( ( ) ( non
empty )
set ) ,
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) )
V141()
V142()
V143()
continuous )
Element of
K6(
K7( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopStruct ) : ( ( ) ( non
empty )
set ) ,
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) ) : ( ( ) (
V19()
V141()
V142()
V143() )
set ) ) : ( ( ) ( )
set ) ) ) : ( (
V19()
Function-like ) (
V19()
Function-like )
set )
-> Function-like V33( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopStruct ) : ( ( ) ( non
empty )
set ) ,
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) )
continuous for ( (
Function-like V33( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopStruct ) : ( ( ) ( non
empty )
set ) ,
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) ) ) ( non
empty V19()
V22( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopStruct ) : ( ( ) ( non
empty )
set ) )
V23(
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) )
Function-like V29( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopStruct ) : ( ( ) ( non
empty )
set ) )
V33( the
carrier of
T : ( ( non
empty TopSpace-like ) ( non
empty TopSpace-like )
TopStruct ) : ( ( ) ( non
empty )
set ) ,
REAL : ( ( ) ( non
empty V40()
V151()
V152()
V153()
V157() )
set ) )
V141()
V142()
V143() )
RealMap of ( ( ) ( non
empty )
set ) ) ;
end;