Niech H będzie rodziną funkcji hashujących z U w \{0,…,m-1\}.
Rodzinę H nazywamy uniwersalną, jeśli \forall_{x,y\in U ;x\neq y} |{h \in H : h(x)=h(y)}|= \frac {|H|} m