связь между и ЗБ, когда все из ПЗ (PP) также присутствуют в ЗБ.
— Эта связь может быть определена как «ЗБ должен содержать все утверждения, которые присутствуют в ПЗ (PP), но может содержать больше». Предполагается, что строгое соответствие (, , ) будет применяться для , которые могут быть выполнены единственным способом.
[из 3.1.67 ГОСТ Р ИСО/МЭК 15408–1–2012]