for F being sequence of (bool REAL)
for G being sequence of (Funcs (NAT,(bool REAL))) st ( for n being Element of NAT holds G . n is Open_Interval_Covering of F . n ) holds
G is Open_Interval_Covering of F