:: deftheorem defines Omega CHAIN_1:def 9 :
for d being non zero Nat
for G being Grating of d holds Omega G = cells (d,G);