>>4の言う双曲平面の合同変換群を使って同様の
ことを考えると、無限の領域になるので、有限の面積を持たない。
体積・面積を持たないという点では同じだが
この場合は選択公理は必要ないんだな。
（代表系が具体的に取れる。）
それでも、やっぱり不思議な感じはする。