RelativeComplementOf2Classes
R928DBFDA3FB441608C6CA2DC68E9011D
UPDATED MAR2023
co2RelativeComplementClassesThe relative complement of two Classes with [P, Q] and [Q, R] as members, is a Class with R as member.
Let C be a Pipe Class that allows the use of P and Q, so C = {P,Q}; Let N be a Piping Network that must be a member of C, but requires the use of Q and R, so N = {Q,R}. Then the relative complement of C in N is R: NC = {R}. In other words: R is required in the Piping Network N but is not (yet) part of the applicable Pipe Class C.
At instantiation of this template it is mandatory to add meta:valEffectiveDate with the dateTime that the represented information became effective.
TemplateForSetOperationsAll members of [hasClass2] that are not members of [hasClass1] are members of the relative complement [hasRelativeComplement] of [hasClass1] in [hasClass2]CL-SETOP-480-20220126.png
[1]
dm:Class
[2]
dm:Class
[3]
dm:Class
[4]dm:EnumeratedSetOfClass[5]dm:Classification[6]dm:Classification[7]dm:DifferenceOfSetOfClass[8]dm:Class[9]dm:EnumeratedSetOfClass[10]dm:Classification[11]dm:Classification[12]dm:IntersectionOfSetOfClass
1hasClass1dm:Class2hasClass2dm:Class3hasRelativeComplementdm:ClassID to be generated automatically
Class(hasClass1) &
Class(hasClass2) &
Class(hasRelativeComplement) &
exists u1 exists u2 exists u3(
EnumeratedSetOfClass(u1) &
ClassificationTemplate(hasClass1, u1) &
ClassificationTemplate(hasClass2, u1) &
DifferenceOfSetOfClassTemplate(u1, u2) &
Class(u2) &
EnumeratedSetOfClass(u3) &
ClassificationTemplate(hasClass1, u3) &
ClassificationTemplate(u2, u3) &
IntersectionOfSetOfClassTemplate(u3, hasRelativeComplement)) .]]>