Set Operators v3.4.0 (TR292F)

This document defines an ontology model of set operators. Requirement specification in intents often requires formulating conditions based on sets of things. For example, the state of a network resource shall be one of a set of “good” states in order for the system to meet the requirement. Another example is the requirement that a resource must not be allocated within certain distinct regions or sites. All this involves sets and logic regarding intersection of sets and membership of individuals within a set.