Functions and Relations description relations functions injection surjection bijection set cardinality set countability rational and irrational numbers