Measuring function
Redirect to:
Size function#Formal definition