Description
|
The [[Submissions:PartOf/hasPart| hasPart] … The [[Submissions:PartOf/hasPart| hasPart]] relation without transitivity, holding between an [[Submissions:Componency/Object| Object]] (the system) and another (the component), and assuming a Design that structures the system Object.
The componency Content OP uses the transitive reduction [[:Category:LogicalOP| logical pattern]] to preserve transitive on the superproperty from the [[Submissions:PartOf|part of]] Content OP. In practice, the [[Submissions:PartOf|part of]] acts here as the transitive reduction of the [[Submissions:Componency| componency]] Content OP. sions:Componency| componency]] Content OP.
|