moved imageset._eval_Eq to set._eval_Eq