Added documentation for the ∪ function
Documentation updates