Subgrids
A subset of a grid is called a subgrid if it is a grid itself.
Grid completion of a subset A of the grid Q is the smallest subgrid of Q containing A (the circumscribed grid). It is clear that grid completion can be expressed in terms of projections as pÁ (A).
Obviously a subset A of the grid Q is a subgrid iff