even : "X is even"
odd : "X is odd"
prime : "X is prime"
divisible : "X is divisible by Y"
divide : "X divides Y"
divisor : "X is a divisor of Y"
converge : "X converges"
function : "function from As to Bs"
union : "the union of X and Y" | \Union
intersection : "the intersection of X and Y" | \Intersection
difference : "the difference of X and Y" | \Difference
cartesian : "the cartesian product of X and Y" | \Cartesian
powerset : "the powerset of X" | \Powerset
complement : "the complement of X" | \Complement
subset : "X is a proper subset of Y" | \Subset
subseteq : "X is a subset of Y" | \Subseteq
superset : "X is a proper superset of Y" | \Superset
superseteq : "X is a superset of Y" | \Superset
equalset : "X and Y are equal sets" | "X is equal to Y" | \Equal
notequalset : "X and Y are distinct sets" | "X is distinct from Y" | \Nequal
element : "X is an element of Y" | \Element