Если X и Y - произвольные непустые множества, то следующие утверждения выполнены:
1) Если отображение f из X в Y инъективно, то существует сюръективное отображение g из Y в X.
2) Если отображение из X на Y сюръективно, то существует инъективное отображение g из Y на X.
|