Before revision:  This study improves the axiomatization proposed by Koczkodaj and Szwarc in 2014. As a side product, the new axiom allows to prevent approximation error aberrations of an arbitrarily large value in the input data .
After revision:  This study improves the axiomatization proposed by Koczkodaj and Szwarc , 2014 which proposed axioms expressed informally with some deficiencies addressed in this study .