Berdinak edo berberak ez diren gauzen edo ideien arteko antzekotasun-erlazioa.

Inferentzia logiko mota, bi kasu partikularrek alderdi batzuetan ezaugarri komunak dituztelako gertakarietatik abiatuz, beste alderdi batzuetan ere ezaugarri komunak izan behar dituztela ondorioztatzen duena.