3.8. Interpretation of math elements

1. The following component elements SHALL, for the purposes of this specification, be “pertinent component elements”:

   1. All component elements in the top-level CellML infoset for the CellML model;

   2. All component elements referenced by import component elements (see 3.1 Interpretation of import elements) in the top-level CellML infoset; and

   3. All component elements which are descendants in the encapsulation digraph (see 3.9 Interpretation of encapsulation elements) of a pertinent component element.

2. Every MathML element in the CellML model which appears as a direct child of a MathML math element, which in turn appears as a child of a pertinent component element, SHALL be treated, in terms of the semantics of the mathematical model, as a statement which holds true unconditionally.

3. Units referenced by a units attribute SHALL NOT affect the mathematical interpretation of the CellML model.