Set Theory
# Set Theory
# Defining a set
# Operations
# Set stuff
# Types
# Power Set
A power set is a set S whose elements are all subsets of S. $P({1,3,5})={\emptyset,1,3,5,(1,3),(1,5),(3,5),(1,3,5)}$ It can also be denoted as a power of 2 (as each item in the set can either be part of the subset (1) or not (0): $P(S)={0,1}^n = 2^n$
# Cardinality
Number of elements in a set
# Ordered-Pair
# Cartesian Product
# Type Constructor
# Relations
# Domain
# Restriction
# Subtraction
# Range
# Restriction
# Subtraction
# Functions
# Partial functions
# Total function
# Injective
# Surjective
# Bijective
