7.2.26 In2 principle

• identifier: principle.in2
• dimension variables: D
• argument variables:
  In: set(label(D))
• default values:
  In: _.D.entry.in
• model record: empty
• constraints: In (priority 130)
• edge constraints: none

The only difference between this principle and the In principle (In) is that the type of the In argument variable is an accumulative set of labels on D, instead of an intersective one.