surjective function (Q766): Difference between revisions

Latest revision as of 08:41, 26 January 2023

function such that every element has a preimage

Language	Label	Description	Also known as
English	surjective function	function such that every element has a preimage	surjection right-total function onto function

0 references

0 references

0 references

0 references

@@ Property / subclass of @@
+function
@@ Property / subclass of: function / rank @@
+Normal rank
@@ Property / subclass of @@
+surjective relation
@@ Property / subclass of: surjective relation / rank @@
+Normal rank
@@ Property / has quality @@
+right-uniqueness
@@ Property / has quality: right-uniqueness / rank @@
+Normal rank
@@ Property / has quality @@
+right-totality
@@ Property / has quality: right-totality / rank @@
+Normal rank