Item:Q762: Difference between revisions
Created a new Item: injection, function that preserves distinctness |
Created claim: has quality (P14): left-totality (Q754) |
||
| (5 intermediate revisions by the same user not shown) | |||
| Property / subclass of | |||
| Property / subclass of: function / rank | |||
Normal rank | |||
| Property / subclass of | |||
| Property / subclass of: left-uniqueness / rank | |||
Normal rank | |||
| Property / has quality | |||
| Property / has quality: left-uniqueness / rank | |||
Normal rank | |||
| Property / has quality | |||
| Property / has quality: right-uniqueness / rank | |||
Normal rank | |||
| Property / has quality | |||
| Property / has quality: left-totality / rank | |||
Normal rank | |||