FiniteSetsArrow uses functions instead of maps
simplified use of functions for sets
further simplified use of functions for sets