for A being set holds {} ,A, {} are_mutually_disjoint