formula_40、formula_41はそれぞれ左不変、右不変な擬距離の集合により特徴づける事ができるがこれについては後述する。