自然满射

natural surjection