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
