In mathematics, we call a function III, an invariant of a set of spaces when two spaces being equivalent in some way, implies they have the same value for the invariant.