Two lines are parallel if (and only if) they are translates of each other; in other words, if we can translate ("slide") one line onto the other.
For example, the red and blue lines are parallel, because we can horizontally translate the red line ABC (to the right) onto the blue line XYZ (and of course, by going backwards to the left, we can translate XYZ onto ABC). Note that A is sent to X (abbreviated A→X), B→Y, and C→Z.
(But this is not the only way to translate the red line onto the blue line! We could slide downward instead, taking A→U, B→V, C→W.)
In notation, we might write ABC∥XYZ (note the symmetry of ∥) or ZX∥AB or red line∥blue line, etc.
Indeed, since the two lines meet at a point B (we can write B∈AC and B∈BV), there's no way to translate one onto the other. For example, we can argue by contrapositive. If there were some translation T taking AC to BV, then the translated points T(A), T(B), T(C) would all have to lie on line BV. In particular, the direction of the translation would have to be along line BV: in order for B→T(B) to still on line BV. But A doesn't lie on line BV, so there's no way A→T(A) (which goes in the same direction as B→T(B)) could lie on BV! (This is not too hard to visualize: for example, if you slide B along line BV to, say, the point V, then A would go to U, which is not on line BV.)
If you're picky about rigor, then really we should say something like since T takes B to a point on line BV, T takes all points on line BV to other points on line BV. So the inverse translation T−1 also takes points on line BV to other points on line BV. So if we had T(A)∈BV, then T−1(T(A))=A would have to lie on BV as well. But A doesn't lie on BV, so we have a contradiction. Hence T(A) does not lie on BV.
Warning: This way of describing parallel lines is not a standard definition! But it can be viewed as an "alternative" definition with an advantage: it's intuitive ("hands-on"), and it holds in all dimensions. (If you want some intuition in 3D, pretend two of your pencils are lines, and try translating them around.)
The usual definition is
Two lines in the plane are parallel if they do not intersect.
(Food for thought: Does this second definition also work in 3D? No, since we have skew lines in 3D!)
But instead of being sad about this, we should instead rejoice, because we have two equivalent/alternative definitions of parallel lines (at least, in a plane). In other words, we can combine these definitions to give a useful fact:
Let ℓ1,ℓ2 be two lines in the plane. The following are equivalent (if one of them holds, so does the other):
-
ℓ1,ℓ2 are translates of each other. (Intuitively, we can slide one onto the other, which intuitively means the lines should always be "the same distance apart", and cannot ever meet/intersect.)
-
ℓ1,ℓ2 do not intersect. (Intuitively, their points are all "the same distance" apart, which is intuitively why we can slide one onto the other.)
When these equivalent conditions hold, we say ℓ1 and ℓ2 are parallel (or ℓ1∥ℓ2 for short).