Wielkość (arytmetyka odcinków)