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