空積
写像の空デカルト積は再び空写像である。