You should really be careful with how you play with definitions, as that will lead down to a slippery slope. Remember that time when someone managed to generate 184 billion bitcoin? With your reasoning, we can now say that the succeeding hard-fork to 'fix' the issue by slashing the bitcoins was theft.
> Remember that time when someone managed to generate 184 billion bitcoin?
you're being intellectually dishonest or even outright manipulative here.
there were never 184 billion coins created on bitcoin chain, there was a bug in validation logic of bitcoin client that made it follow the chain that was invalid.
are you seriously trying to compare that to stealing coins from somebody on a valid chain?
> are you seriously trying to compare that to stealing coins from somebody on a valid chain?
They're not stealing coins from someone on a valid chain, they are forking away to another chain and slashing the user's stake. The user will still have all their coins on "their" chain and it's up to everyone else to decide which chain is "the right one". If the 51% user is truly malicious, the majority of network participants will move away to the new chain, rendering the 51% user's tokens (near) worthless.
> If the 51% user is truly malicious, the majority of network participants will move away to the new chain, rendering the 51% user's tokens (near) worthless.
so being successful is punished by destroying all wealth of the richest participant in the network? nice.