The Math Forum

Ask Dr. Math - Questions and Answers from our Archives
Associated Topics || Dr. Math Home || Search Dr. Math

Comparing Transitivity and Substitution

Date: 10/01/2003 at 10:03:44
From: Wade
Subject: Transitive Property and Substituition

What is the difference between transitive property and substitution?  
Can substitution be used in place of transitivity?  

Date: 10/01/2003 at 12:09:46
From: Doctor Peterson
Subject: Re: Transitive Property and Substituition

Hi, Wade.

The two are very closely related; the difference lies in their 
generality and their role in logic.  Often they are interchangeable, 
but not always.

Substitution is a "common-sense" concept: if two things are equal, 
then one can be put in place of the other and nothing will change. 
Essentially, it is part of the definition of "equal": two things are 
equal if and only if they can be substituted for one another.  It can 
be used to explain why, for example,

  a = b + 5  and  b = c  implies that  a = c + 5

The first statement here could be replaced by ANY statement about b; 
it is very general.

Transitivity is a little more formal; it is one of a set of 
properties (relexivity, symmetry, and transitivity) used to define 
the concept of "equivalence relation" (of which equality is one 
example).  It also has a more specific definition than substitution; 
it only applies when we have two equalities:

  a = b  and  b = c  implies that  a = c

This can be considered a special case of substitution, replacing b 
with c in the equation a = b.  So we could always use the term 
"substitution" if we wished; but we could not use the term 
"transitivity" in place of "substitution" in cases where the same 
quantity (b above) is not found alone on one side of each equation.

You can see why we call transitivity a "property of equality" (or, 
more generally, of an equivalence relation), but do not call 
substitution a "property" of anything in particular.  It is more 
general than that.

Here is one place where I commented on the relationship of these 

  Isosceles Trapezoid Proof 

See also

  MathWorld: Equivalence Relation 

If you have any further questions, feel free to write back.

- Doctor Peterson, The Math Forum 
Associated Topics:
Elementary Definitions
High School Definitions
Middle School Definitions

Search the Dr. Math Library:

Find items containing (put spaces between keywords):
Click only once for faster results:

[ Choose "whole words" when searching for a word like age.]

all keywords, in any order at least one, that exact phrase
parts of words whole words

Submit your own question to Dr. Math

[Privacy Policy] [Terms of Use]

Math Forum Home || Math Library || Quick Reference || Math Forum Search

Ask Dr. MathTM
© 1994- The Math Forum at NCTM. All rights reserved.