One-Dimensional Congruence of Segments, Basic Facts and Midpoint Relation 1
Barbara Konstanta, Urszula Kowieska, Grzegorz Lewandowski · 1991
Summary. We study the theory of one-dimensional congruence of segments. The theory is characterized by a suitable formal axiom system; as a model of this system one can take the structure obtained from any weak directed geometrical bundle, with the congruence interpreted as in the case of ”classical” vectors. Preliminary consequences of our axiom system are proved, basic relations of maximal distance and of midpoint are defined, and several fundamental properties of them are established.