Set-Unification from Another Point of View