Eine Seminorm h : G → R {\displaystyle {}h\colon G\rightarrow \mathbb {R} } auf einer kommutativen Gruppe G {\displaystyle {}G} heißt Höhenfunktion, wenn für jedes b ∈ R {\displaystyle {}b\in \mathbb {R} } die Menge
endlich ist.
