Seol mar théacs é seo: Axiomatic description of mixed states from selinger's CPM-construction