ϵ">]>
Literature.
[1] J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001.
[CL] Remark. The module Msyntax in the file msyntax.cl contains the syntax of the system CL.
Chapter. Programs Operating on Lists.
Section. Applications of Lists.
Subsection. Finite Sets.
Finite sets.
Set membership. Define the predicate a∈s such that
Insertion. Define the function s∪ {a} such that
Deletion. Define the function s∖ {a} such that
Union. Define the function s1 ∪ s2 such that
Intersection. Define the function s1 ∩ s2 such that
Difference. Define the function s1 ∖ s2 such that
Symmetric difference. Define the function s1 ⋈ s2 such that
Set equality. Define the predicate s1 ≡ s2 such that
Subsets. Define the predicate s1 ⊆ s2 such that