...
This is represented by two expression diagrams, one above the other, separated by a relational operator between. The diagram is read top to bottom.
Caption label |
---|
CapId | expression-relation-diagram |
---|
CapType | Figure |
---|
|
Expression relation |
Figure 9 Expression relation As an example below is a diagram showing two expressions that are equivalent:
Caption label |
---|
CapId | diagram-showing-equivalence-of-two-expressions |
---|
CapType | Figure |
---|
|
10 |
Diagram showing equivalence of two expressions |
Note that in this example the equivalence relation connects the two expressions with lines – indicating that the relationship is bidirectional and can be read either way.
Anchor |
---|
_Ref347417159 | _Ref347417159 | Figure 11 Diagram showing an expression subsumed by and other expression Figure 11 shows an expression (top) subsumed by another expression (bottom). Note that arrows have been used to connect the expressions to the relational operator to indicate the direction it must be read.
Image Removed
Caption label |
---|
CapId | -ref347417159figure-11-diagram-showing-an-expression-subsumed-by-and-other-expression |
---|
CapType | Figure |
---|
|
_Ref347417159Figure 11 Diagram showing an expression subsumed by and other expression |
Caption label |
---|
CapId | shows-an-expression-top-subsumed-by-another-expression-bottom-note-that-arrows-have-been-used-to-connect-the-expressions-to-the-relational-operator-to-indicate-the-direction-it-must-be-read- |
---|
CapType | Figure |
---|
|
shows an expression (top) subsumed by another expression (bottom). Note that arrows have been used to connect the expressions to the relational operator to indicate the direction it must be read. |
Image Added
Caption label |
---|
CapId | -ref347417377figure-12-diagram-showing-an-expression-that-subsumes-another-expression |
---|
CapType | Figure |
---|
|
_Ref347417377Figure 12 Diagram showing an expression that subsumes another expression |
Caption label |
---|
CapId | shows-an-expression-top-that-subsumes-an-expression-bottom-again-note-arrows-have-been-used-to-indicate-the-direction-this-relationship-must-be-read- |
---|
CapType | Figure |
---|
|
shows an expression (top) that subsumes an expression (bottom). Again note arrows have been used to indicate the direction this relationship must be |
Anchor |
---|
_Ref347417377 | _Ref347417377 | Figure 12 Diagram showing an expression that subsumes another expression Figure 12 shows an expression (top) that subsumes an expression (bottom). Again note arrows have been used to indicate the direction this relationship must be ...