generalized variational inclusion