Seol mar théacs é seo: Algebraic Properties of Arbitrage: An Application to Additivity of Discount Functions