It seems there a mutually exclusive possibilities, represented by value properties isInverting:Boolean and isErecting:Boolean. The blocks GalilieanReflector and GregorianReflector redefine these both for erecting telescopes.

Once could question whether describing every kind of Image as 'inverted' makes sense. What does it mean to invert the image from a neutrino telescope? So isInverted:Boolean[0..1] is not mandatory at the highest level of abstraction.

Up next

Optics: real images vs virtual images and focus points

Notes

[DISPLAY, STYLE, TIP]{SUGGESTED} Webel Parsing Analysis: If the dashed-line "anchors" from your «snippet» ElementGroup symbols to elicited elements make a «pa» Parsing Analysis Diagram (PAD) too hard to read, try making them light grey using symbol properties.

[POLICY, STYLE]{STRICT} Webel «pa» Parsing Analysis Diagrams (PADs) are "scratchpads" used to elicit model elements traceably from text Snippets (extracts from source Documents). While BDDs are a good initial choice, most types of SysML diagram can be used as a «pa» diagram.

[POLICY, STYLE]{STRICT} Webel Parsing Analysis «pa» diagrams are NOT intended as final presentation diagrams! They serve merely to traceably elicit model elements, which may then be shown in other (typically much tidier) presentation diagrams elsewhere.

Snippets (quotes/extracts)

Most telescope designs produce an inverted image at the focal plane; these are referred to as inverting telescopes.

There are telescope designs that do not present an inverted image such as the Galilean refractor and the Gregorian reflector. These are referred to as erecting telescopes.