for X, x being set holds
( x in Dependencies X iff ex a, b being Subset of X st x = [a,b] )