Item:Q762: Difference between revisions

← Older edit

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