es decir que "a"*"b" ∈ Z("G").