Item:Q753: Difference between revisions
Created a new Item: mapping, binary relation which is left-total (defined on all its input set) |
Created claim: has part(s) (P8): morphism (Q756) |
||
| (4 intermediate revisions by the same user not shown) | |||
| Property / instance of | |||
| Property / instance of: binary relation / rank | |||
Normal rank | |||
| Property / subclass of | |||
| Property / subclass of: function / rank | |||
Normal rank | |||
| Property / has quality | |||
| Property / has quality: left-totality / rank | |||
Normal rank | |||
| Property / has quality | |||
| Property / has quality: right-uniqueness / rank | |||
Normal rank | |||
| Property / has part(s) | |||
| Property / has part(s): morphism / rank | |||
Normal rank | |||