A precise definition is as follows.
Presné definície sú nasledovné.