:: deftheorem defines ZeroPointSet DIOPHAN2:def 1 :
for f being Function holds ZeroPointSet f = (dom f) \ (support f);