:: deftheorem defines is_parallel_to RUSUB_5:def 1 :
for V being non empty RLSStruct
for M, N being Affine Subset of V holds
( M is_parallel_to N iff ex v being VECTOR of V st M = N + {v} );