Io-7-wyk-Slajd52

Specyfikacje aksjomatyczne(14)

Kolejny aksjomat można sformułować następująco: usunięcie czegokolwiek z pustej książki telefonicznej daje pustą książkę telefoniczną.

Formalnie można to zapisać jak na slajdzie