Invariant

Eine Funktion, Menge oder Eigenschaft, die beim Anwenden der angegebenen Umwandlung unverändert bleibt.