The expression for your variable,
is not standard mathematical notation, so I can only guess as to the constraint that you want to express. Is M the set of servers? Then you might want to define a constraint for each server like this:
subject to Severs {a in M}:
sum {lambda in W} sum {t in BrPsi} sum {d in BrM} x[lambda,t,d,a] = 1;
You would probably need to modify this statement, however, so that it is consistent with the names that you give to your sets, and with the definition of variable x.