A system
is closed if
implies that
and
.