comment edits: add a precision on Euclidean relations, and correct a mistake
comment edits: add a precision on Euclidean relations, and correct a mistake

metamath/set.mm,metamath/set.mm,metamath/set.mm