This follows from the axiom of extensionality, which says two sets are the same if and only if they have the same members. Some authors drop codomain from a definition of a function, and in that definition, the notion of equality has to be handled with care; see, for example, "When do two functions become equal?". Stack Exchange. ngày 19 tháng 8 năm 2015.
wolfram.com
mathworld.wolfram.com
Weisstein, Eric W. "Function". mathworld.wolfram.com (bằng tiếng Anh). Truy cập ngày 17 tháng 8 năm 2020.