请问各位离散数学这条定理怎么证明？

设f和g是函数,且f⊆g,D(g)⊆D(f),则f=g。集合论里面的函数模块内容。