A figure will make this clearer. Letandbe two terms having the relation. Then there are to be two terms,