for X being set
for P, Q being Dependency of X st P <= Q & Q <= P holds
P = Q