次の日本語には間違っている部分があります。その部分を直して、正しい日本語の文を出力してください。
位相空間　”Ｇ”　に群演算（乗法あるいは積とよばれる二項演算と逆元をとる単項演算）が定義されているとき、”Ｇ”　において群構造と位相構造が構造が両立する（あるいは可換である、うまくいっている、＜ｓｐａｎ　ｌａｎｇ＝ｅｎ＞ｃｏｍｐａｒｔｉｂｌｅ＜／ｓｐａｎ＞）とは、以下の条件が成り立つことを言う。
位相空間　”Ｇ”　に群演算（乗法あるいは積とよばれる二項演算と逆元をとる単項演算）が定義されているとき、”Ｇ”　において群構造と位相構造とが両立する（あるいは可換である、うまくいっている、＜ｓｐａｎ　ｌａｎｇ＝ｅｎ＞ｃｏｍｐａｒｔｉｂｌｅ＜／ｓｐａｎ＞）とは、以下の条件が成り立つことを言う。