integer interval
set of (possibly infinitely many) consecutive integers
Press Enter · cited answer in seconds
0 sources
integer interval
Summary
Key Facts
- integer interval's subclass of is recorded as interval[1].
- integer interval's subclass of is recorded as integer set[2].
- integer interval's defining formula is recorded as {x \in \mathbb Z: a \le x \le b} \quad (a,b \in \mathbb Z \cup { \pm\infty })[3].
- integer interval's OpenMath ID is recorded as interval1#integer_interval[4].
- integer interval's ProofWiki ID is recorded as Definition:Closed_Interval/Integer_Interval[5].
- integer interval's ProofWiki ID is recorded as Definition:Integer_Interval[6].
- integer interval's in defining formula is recorded as \mathbb Z[7].