gauncri fu'ivla

x1 is a surjective function from x2 (domain) to x3 (codomain).

Every element of the codomain has at least one preimage under x1. See also: "ficystoraunju".