redis / redis-doc

Redis documentation source code for markdown and metadata files, conversion scripts, and so forth
Other
2.31k stars 1.72k forks source link

[DOCS] Monotonically increasing #1783

Open manast opened 2 years ago

manast commented 2 years ago

In several pages of the documentation, AFAIT in streams and client id, the author uses the term "monotonically increasing", however this is incorrect. Monotonically increasing means that a function increases OR remains constant, but here the case is clearly always increasing, so the correct term is not "monotonically increasing" but "strictly increasing" or "strictly monotonically increasing".

Some places I found this error: https://redis.io/topics/streams-intro https://redis.io/commands/client-id

itamarhaber commented 2 years ago

Hello @manast

Thanks for reporting this - that's very astute and kind of you! Would you care to make a PR that corrects these inaccuracies?