If you have already waited 20 minutes for the bus, the bus can not arrive in less than 20 minutes because you can not "un-wait" the time you have already waited.
If you have 5 donuts and you eat some donuts - it is impossible to have more than 5 donuts when you are finished eating. This is because once you remove items from a set, the set can not have more items than the original number of items in the set.
If you walked 345 meters by 6 PM, the total number of meters you will have walked today can not be less than 345 meters. This is because you can not "un-walk" the meters you have already walked.
Do these concepts have proper names in math? E.g Commutative, reflexive, symmetric, etc? How would you describe this property using mathematical terms - a set of objects that have certain properties, such that once a certain type of opperation is performed on objects in the set, the "cardinality" of set achieves a new infimum and supremum?
Do such terms in mathematics exist that can correspond to the examples I laid out?