I am a pure mathematics PhD student and graduate teaching assistant at a major state university. During the summers here, teaching assistants are typically appointed to teach an entire course, rather than simply leading a separate discussion section. I have been appointed to teach a Precalculus course and am of course a bit surprised.
Though the fall and spring semesters are quite standardized, we have much more flexibility over the summer. As I could modify explanations to my liking, I was considering perhaps taking a slightly more rigorous approach to teaching Precalculus. In particular, I am hoping to give more detailed explanations of objects that they will be working with. As an example, many students in my discussion sections will express belief that a line is nothing but an equation of the form $y = mx+b$. In reality, for $m,b \in \mathbb{R}$, a line with slope $m$ and $y$-intercept $b$ is the set of points $ L =\{(x,y):y = mx+b\}$. I look through many different books and even the official lecture notes of my university and they don't mention this explicitly. The closest to this is one that said a line is determined by such an equation (this of course isn't wrong at all, just not the most complete). This issue I think this causes is when they try to understand why, to solve where two lines intersect, we must set their equations equal to eachother. Even with pictures, some students wonder how that geometric picture translates to the equations being set equal to one another. I personally feel that it could be alleviated through a more set-theoretical explanation since it could be explained via the sets. So to find points of intersection of two lines $L_1$ and $L_2$, one could simply look at elements of their intersection $L_1 \cap L_2$ and see that such a point must satisfy both of their defining features, which means that the second coordinate, $y$, must be equal to $m_1x + b_1$ and $m_2x + b_2$ (this would of course hypothetically be explained slowly and more carefully than I presented here).
Another issue some students in my discussion sections have had is understanding the difference of when two functions are different or the same. For example, if $f(x) = \frac{(x-1)(x-2)}{(x-2)}$ and $g(x) = x-1$, the students are likely to be convinced that they are the exact same, despite having different domains (the first not defined at $x = 2$).
The book and lecture notes will simply say that $x \neq 2$ on the left hand margin as some kind of warning against the equality of $f$ and $g$, yet it doesn't seem sufficient for students and often seems ad hoc to them. It would seem that it wouldn't be much harder for students to try to view the functions differently via the notations $f:\mathbb{R} - \{2\} \rightarrow \mathbb{R}$ versus $g:\mathbb{R} \rightarrow \mathbb{R}$, so they have different domains, but also understanding that $f(x) = g(x)$ for $x \in \mathbb{R} - \{2\}$ (or $(-\infty,2) \cup (2,\infty)$ however is nicer to notate it).
To me it seems that main education programs are (understandably) afraid to use any kind of rigor, or even set-theoretic notation, whatsoever, with some kind of all-or-nothing approach.
Has anyone here had any experience with teaching precalculus in this manner? Surely one would not want to go extreme and push rigor too hard on students, especially when they have likely not encountered such ways of thinking before hand, but rather a nice balance between the two. Are there any textbooks or references that follow this kind of style? Thanks in advance for any advice.