This commit is contained in:
Araq
2014-11-14 02:40:55 +01:00
parent 981b24f916
commit 9e00d3aec2
3 changed files with 3 additions and 5 deletions

View File

@@ -29,7 +29,6 @@ operation meaning
``e in A`` set membership (A contains element e)
``e notin A`` A does not contain element e
``contains(A, e)`` A contains element e
``A -+- B`` symmetric set difference (= (A - B) + (B - A))
``card(A)`` the cardinality of A (number of elements in A)
``incl(A, elem)`` same as ``A = A + {elem}``
``excl(A, elem)`` same as ``A = A - {elem}``