Definition:Weight Function
From ProofWiki
Definition
A weight function on a set $S$ is a mapping from $S$ to the positive real numbers:
- $w: S \to \R^+$
The thing that determines whether a given mapping is a weight function depends more on how it is used.