2.12.1 Properties

Some properties of interest are:  

Here are formal definitions of these properties:

And here are checkable definitions, which correspond to the formal definitions given above:

With the above checkable definitions, is strongly checkable, while and are weakly checkable.

Jeff Tupper

March 1996