Instead of overline used for complement let us use A<SUP>c</SUP>.
A<SUP>c</SUP> is the set of all elements in U that are not in A.
Thus A<SUP>c</SUP>∪A must be U, because any x∈U is either in A or not in A.
Moreover, A<SUP>c</SUP>∩A=∅ because no element is both in A and not in A.