These include requirements that say the system must never or always exhibit a particular property.
Они включают требования, которые говорят, что система никогда не должна или всегда должна показывать специфическое свойство.