TeX source:
O=\{1,3,5\}, P(O)=3 / 6