for a, b being set holds
( <*a,b*> in y=0-line iff ( a in REAL & b = 0 ) )