EDIT: Was ist mit ⊥ gemeint?
" Das bedeutet "Keine Lösung". "
Das passt nicht wirklich, weil d(a,b,c,d) selbst keine Gleichung ist die keine Lösung hat.
Sagen wie mal d(a,b,c,d) "nicht definiert" . Da könnte man allenfalls folgern, dass x2 = x1 .
Also U = { (x,y,z,u) Element R^4 | x2 = x1 }
Sagen wir mal das soll eine 1 sein und nicht ⊥.
Dann haben wir y2 - y1 = x2 - x1 und beide Differenzen ≠ 0. Auch das kannst du Mengenschreibweise für U umwandeln.