for POS being OrtAfSp
for X being Subset of POS
for Y being Subset of AffinStruct(# the carrier of POS, the CONGR of POS #) st X = Y holds
( X is being_line iff Y is being_line )