Example:
Show that if
P'
is a refinement of
P
then
| P' |
| P |
.
To Theory |
Glossary |
Map
(bgw)
| P |.
To Theory |
Glossary |
Map