Подходят ли инвариантные утверждения к программированию на C #?

В книге программисты за работой автор спрашивает: «Как вы используете инварианты в своем коде». Пожалуйста, объясните, что означает этот вопрос.

Я видел инварианты классов в вики , но пример находится на Java, и я недостаточно опытен в Java, чтобы связать этот пример с C #. .NET 4.0 вводит инвариантность, ковариантность и контравариантность и хорошо объясняется здесь. Инвариантность настолько широка. Использование этого слова авторами кажется связанным с модульным тестом. Для тех, кто читает книгу, что имеет в виду автор? Мы говорим о предположении и просто о проверке действительности после модульного теста?