equality-and-inclusion

(1)