>
|
|
>
|
|
>
|
|
>
|
|
>
|
|
The following examples use the expand and float verifications, explained on the help pages verify,expand and verify,float, respectively.
>
|
|
>
|
|
>
|
|
>
|
|
Consider the lattice of subsets of the set . Given the point , select all points which precede this point:
>
|
|
| (10) |