 Filtration on a group

A filtration on a group $G$ is a function $\omega :G\to \mathbb{R}\cup \{\infty \}$ satisfyingIt is separated when $\omega (x)=\infty$ only for $x=1$.