X-Nico

unusual facts about countable set



Gleason's theorem

More formally, a quantum logic is a set of events that is closed under a countable disjunction of countably many mutually exclusive events.

Point process

While in the exact mathematical definition a point pattern is specified as a locally finite counting measure, it is sufficient for more applied purposes to think of a point pattern as a countable subset of S that has no limit points.


see also