In your example both the beginning amount and the remainder are UTXOs. Not just the remainder. Of course, she would only be able to spend the remaining UTXO which is generally called change or a UTXO sent to change address. All BTC on-chain are UTXOs.

It's better to think of it as a ledger or a flow chart where the earlier transactions are completely consumed/crossed out after being spent.