for X being non empty finite set
for F being Dependency-set of X holds charact_set F = charact_set (Dependency-closure F)