for L being Element of line_of_REAL 2 holds
not for x being Element of REAL 2 holds x in L