scheme :: SQUARE_1:sch 1
RealContinuity{ P₁[ object ], P₂[ object ] } :

ex z being Real st
for x, y being Real st P₁[x] & P₂[y] holds
( x <= z & z <= y )

provided

A1: for x, y being Real st P₁[x] & P₂[y] holds
x <= y