黎曼流形
一类广泛的等价问题可以用 "G"-结构语言阐述。例如，一对黎曼流形是（局部）等价等且仅当