Option 1 is the correct answer. AB || CD, and AB ⊥EF.
Perpendicular lines are two lines that form right angles. EF bisects AB, in which points A and B are equidistant to point E.
If a transversal is perpendicular to one of two parallel lines, then it is also perpendicular to the other.
And if two lines (AB and CD) are perpendicular to the same line, (EF), then they are parallel to each other.