Definition:Defined on Set