Symmetric difference and set inclusion