# Measurability of `Set.encard`

and `Set.ncard`

#

In this file we prove that `Set.encard`

and `Set.ncard`

are measurable functions,
provided that the ambient space is countable.

`Set.encard`

and `Set.ncard`

#In this file we prove that `Set.encard`

and `Set.ncard`

are measurable functions,
provided that the ambient space is countable.