for i, j being Nat
for G being Matrix of (TOP-REAL 2) holds cell (G,i,j) is closed