X = { 0, 1 } X Z