Description: Value of the indicator function generator with domain O . (Contributed by Thierry Arnoux, 23-Aug-2017)