Added Empty Set and Empty Relation Checks

Also started isTransitive