for X, Y being non empty compact Subset of (TOP-REAL 2) st X c= Y & N-max Y in X holds
N-max X = N-max Y