Added argument standards and updated the nat set to include 0.
Added functions to check for Onto One-to-one and bijection functions.