[issue22515] Implement partial order on Counter

[Serhiy Storchaka]

Serhiy Storchaka added the comment:

There are some properties of set comparison:

(a < b) == (a <= b and a != b)
(a <= b) == (a < b or a == b)
(a <= b and b <= a) == (a == b)
(a < b and b < a) == False
(a <= b) == (a - b == set())
if (a <= b and b <= c) then (a <= c)
(a <= b and a <= c) == (a <= (b & c))
(a <= c and b <= c) == ((a | b) <= c)

Is this true for Counter?

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue22515>
_______________________________________