Soundness, Idempotence and Commutativity of Set-Sharing