Ещё более общий, чем общая алгебра? 1. напишите определение инъективного отображения 2. напишите определение сюръективного отображения 3. посмотрите, подумайте и докажете тео...
получаем, что для любого y существует x, такой, что f(x) = y, и такой x - единственный???