General:ReflexivePropertyAquantityiscongruent(equal)toitself
a=aSymmetricPropertyIfa=b,thenb=a
TransitivePropertyIfa=bandb=c,thena=c
AdditionPostulateIfequalquantitiesareaddedtoequalquantities,thesumsareequal
SubtractionPostulateIfequalquantitiesaresubtractedfromequalquantities,thedifferencesareequal
MultiplicationIfequalquantitiesaremultipliedbyequalquantities,theproductsPostulateareequal
(alsoDoublesofequalquantitiesareequal
)DivisionPostulateIfequalquantitiesaredividedbyequalnonzeroquantities,thequotientsareequal
(alsoHalvesofequalquantitiesareequal
)SubstitutionPostulateAquantitymaybesubstitutedforitsequalinanyexpression
Thewholeisequaltothesumofitsparts
PartitionPostulateAlso:BetweenessofPoints:AB+BC=ACAngleAdditionPostulate:m
