g z 2c defined * by a * b 3d a 2b ab b for all set a2cb z.