Definition:Finite Support of Element of Direct Product