Highest Write Wins flag, register, map and set

*Only for discussion not finished yet*

Trying to understand the end user semantics. 
Same as for HWWFlag, but for each individual element in the Set.
Is that correct understanding?