Atomicity

You might say

When two users buy the last item at once, there cannot be two successful orders; checking and deducting stock must act as one whole operation.

The property that related operations either all take effect or none of them doesWhen two people buy the last item at the same time, checking and deducting inventory must be an indivisible whole so one succeeds and the other fails. Atomicity covers only the defined operation scope; it does not make every distributed step across systems roll back together.
Further reading