:: deftheorem defines eqSupport ORDERS_5:def 11 :
for A being set
for D being a_partition of A
for X being Element of D
for f being Function holds eqSupport (f,X) = (support f) /\ X;