I would like to know what is a correct formal notation for representing a state where the state is defined by

$ K \to (V x N)$

where K is the key, V is the value and N is the infinite ordered set of version numbers. An injective function f takes an element of N and returns the next version number.

  • $\begingroup$ Might be just me, but I'm not really familiar with what you mean by 'state', 'version number' and 'key'? What's the context? $\endgroup$
    – Shuri2060
    Jul 7, 2017 at 22:26
  • $\begingroup$ like dictionary but with versioned values. f returns the next version number. have it from here hyperledger-fabric.readthedocs.io/en/latest/… $\endgroup$
    – x4k3p
    Jul 7, 2017 at 22:35
  • $\begingroup$ Looks like more of a question for stackoverflow.com. $\endgroup$
    – Mark
    Jul 7, 2017 at 22:46
  • $\begingroup$ why stackoverflow? I want a formal math notation for this $\endgroup$
    – x4k3p
    Jul 7, 2017 at 22:51

1 Answer 1


For formal notation, I'd probably use exactly what the source page uses, just written with standard mathematical typography instead of ASCII: A piece of state is modeled as an element of a mapping $K \to (V \times N)$. (Then explain what $K$, $V$, and $N$ are.)

Is this what you were looking for?

  • $\begingroup$ thank you, I think I will just use this $\endgroup$
    – x4k3p
    Jul 7, 2017 at 23:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.