Es una ciencia de la estructura, de cómo elementos particulares de estructuras idénticas pueden deducirse a partir de otros y cómo las estructuras se relacionan unas con otras por medio de diversos tipos de inferencia.