Documentation: corrected documentation on set operators The operators |, &, - and ^ on arrays rely on the content having an ordering which is compatible with `==. Mention this in the documentation, as this will otherwise lead people to writte buggy code.