Cet article rappelle d'abord ce qu'est une relation d'analogie entre quatre ensembles finis (ou alphabets) selon la définition de Lepage. Il étudie le cas où ils sont définis par des traits binaires et présente ensuite une distance sur ces alphabets, compatible avec la relation d'analogie. Il étudie aussi comment construire des alphabets définis par des traits binaires au sein desquels se trouvent des relations d'analogie systématiques et examine le nombre d'analogies possibles dans ces alphabets. Pour finir, il prouve l'équivalence entre la définition de l'analogie entre ensembles de Lepage et celle de Stroppa
