From 23bce54386bf7c3a9526f4563eeeb15f0a030333 Mon Sep 17 00:00:00 2001
From: Raymond Hettinger <raymond.hettinger@gmail.com>
Date: Fri, 24 Apr 2020 01:55:12 -0700
Subject: [PATCH] Expand the implementation comments

---
 Lib/collections/__init__.py | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Lib/collections/__init__.py b/Lib/collections/__init__.py
index bb9a605a994f46..c4bff592dc0e71 100644
--- a/Lib/collections/__init__.py
+++ b/Lib/collections/__init__.py
@@ -711,6 +711,13 @@ def __repr__(self):
     #
     # To strip negative and zero counts, add-in an empty counter:
     #       c += Counter()
+    #
+    # Rich comparison operators for multiset subset and superset tests
+    # are deliberately omitted due to semantic conflicts with the
+    # existing inherited dict equality method.  Subset and superset
+    # semantics ignore zero counts and require that p≤q ∧ p≥q → p=q;
+    # however, that would not be the case for p=Counter(a=1, b=0)
+    # and q=Counter(a=1) where the dictionaries are not equal.
 
     def __add__(self, other):
         '''Add counts from two counters.