invariant: a feature (quantity or property or function) that remains unchanged when a particular transformation is applied to it
feature: a prominent attribute or aspect of something
sorting algorithm: an algorithm for sorting a list