In measure theory, the Euler measure of a polyhedral set equals the Euler integral of its indicator function.