Anyone know what property of mathematic reasoning means "if the lengths are equal the segments are congruent"

examples: transitive property, addition property, subtraction property, substitution property, symmetric property, muiltiplication property, division property, reflective property, angle addition postulate, etc.