Definition:Equality of Functions of Sets