Postulate of nested intervalls