3.7.80. Derived collection

A constraint that uses one or several derived collections. Derived collections were introduced in SectionΒ 2.3.2.1 on page 2.3.2.1.