Counting measure (source code)

= Counting measure
{wiki}

Counting measure assigns to a set its cardinality, with value infinity for an infinite set.