		/**** Generating the set {1*1, ..., N*N} *****/

mode none.
closure none.

top(N)  equals square(gen(N)).

	square({N\_})   contains {N*N}.

	gen(N) equals if N < 1 then phi else {N\gen(N-1)}.
