for X being set
for R being Relation of X holds
( rho R is upper & rho R is V288() )