I am following the definitions of an o-minimal system as defined in "Tame Topology and O-minimal Structures" by Lou van den Dries.
It is immediate from the definition that the graph of $\sin(x)$ is not a tame set (intersect it with $y=0$). But what about a slightly rotated one? Or one which is both rotated and translated. To me they look to be tame (unless rotated by $\pi/4$). Is it correct that these sets are contained in some o-minimal system? And how can I easily 'recognize' tame sets? E.g. my intuition is that a collection of sets in $\mathbb{R}^2$ are tame if they do not invalidate the minimality axiom ($S_1$ contains exactly finite unions of points and open intervals). If so I can just complete with whatever sets needed in order for it to be a o-minimal structure.
And lastly, what about definable maps? I think that for semilinear sets the simplicial maps consititute a set of definable maps but there seems to be many more. How should I think of definable maps? (I am familiar with the monotonicity theorem).