 The mathematical property of ‘lacking gaps’ is referred to as ‘completeness’ — the formal statement is that an ordered set is complete if every bounded, increasing sequence of elements has a ‘limit’. These limits are the first infinite operation that we define on numbers.