Then \ Gamma is called a lattice in G if in addition there exists a Borel measure \ mu on the quotient space G / \ Gamma which is finite ( i . e . \ mu ( G / \ Gamma ) ) and G-invariant ( meaning that for any g \ in G and any open subset W \ subset G / \ Gamma the equality \ mu ( gW ) = \ mu ( W ) is satisifed ).
