An ‘analytic’ proposition is one in which the predicate is part of the subject; for instance, ‘a tall man is a man’, or ‘an equilateral triangle is a triangle’.

Bertrand Russell, History of Western Philosop…, loc. 2562