Item:Q8290: Difference between revisions
Created claim: subclass of (P1): connection (Q916) |
Created claim: defining formula (P333): A \cup B = \{ x \mid x \in A \lor x \in B\} |
||
Property / defining formula | |||
A \cup B = \{ x \mid x \in A \lor x \in B\} | |||
Property / defining formula: / rank | |||
Normal rank |