Item:Q10964: Difference between revisions
Created claim: instance of (P2): binary operation (Q1243) |
Created claim: defining formula (P333): A \setminus B = \{ x \mid x \in A \land x \notin B \} |
||
Property / defining formula | |||
A \setminus B = \{ x \mid x \in A \land x \notin B \} | |||
Property / defining formula: / rank | |||
Normal rank |