أرسل هذا في رسالة قصيرة: Axiomatic description of mixed states from selinger's CPM-construction