Variational inclusion