I'm trying to define a set of "fixed precision" or "rounded" numbers. For example, I want to define a rotation in degrees by every $5$ degrees, so $X = \{0,5, \ldots , 355, 360\}$.
$X = \{x_i \in \Re \mid (x_\min \le x_i \le x_\max) \text{ and } (x_i \mod p = 0)\}$
$p$ - precision (5)
$x_\min$ - minimum (0)
$x_\max$ - maximum (360)
This occurs frequently in engineering. Is there a name for this type of set? And what about trailing zeroes? In the above, this set would also include $0.00$, $5.00000$, etc., which I want to avoid since the set should have only 73 elements in it!