Tvrdíte:

{b1, b2, … , bn} == b1, b2, … , bn

kde

b1, b2, … , bn jsou blechy,
{ } je pytel,
== je identita.

Speciální případy pro počty blech n = 1 a n = 0:

{b1} == b1

{∅} == ∅

Justin to potřebuje formálně, pro lepší pochopení.