Sendo um intervalo de números reais com extremidades em e com , o número real é chamado de comprimento de . Considere a inequação:

A soma dos comprimentos dos intervalos nos quais ela é verdadeira é igual a: