Item:Q753: Difference between revisions

← Older edit

@@ Property / subclass of @@
+function
@@ Property / subclass of: function / rank @@
+Normal rank
@@ Property / has quality @@
+left-totality
@@ Property / has quality: left-totality / rank @@
+Normal rank
@@ Property / has quality @@
+right-uniqueness
@@ Property / has quality: right-uniqueness / rank @@
+Normal rank
@@ Property / has part(s) @@
+morphism
@@ Property / has part(s): morphism / rank @@
+Normal rank