On the metric triangle inequality

A non-contradictible axiomatic theory is constructed under the local reversibility of the metric triangle inequality. The obtained notion includes the metric spaces as particular cases and the generated metric topology is T_{۱}-separated and generally, non-Hausdorff.

Keywords:

Generalized metric space , Triangle inequality , Separated topologies , non-Euclidean geometry