Wo hakt es denn. Beim ersten wäre es doch z.B. so:
Eine Menge M beschreibt eine nicht-vertikale Gerade
<==> Es gibt a,b ∈ ℝ ∧ M = {(x;y) ∈ ℝ2 | y = ax+b }
Eine Menge M beschreibt eine vertikale Gerade
<==> Es gibt a ∈ ℝ ∧ M = {(x;y) ∈ ℝ2 | x = a }
etc.