for V being non empty right_complementable add-associative right_zeroed RLSStruct
for M, N being Affine Subset of V st M is_parallel_to N holds
N is_parallel_to M