Los "conceptos" o "definiciones" serán los invariantes por ese grupo principal, y los "teoremas" serán las relaciones entre los conceptos.