Aristotle confined himself rather to the mere relation of inherence by defining the nature of the syllogism as follows: When three terms are so related to each other that the one extreme is in the entire middle term, and this middle term is in the entire other extreme, then these two extremes are necessarily united in the conclusion.