AB30.2.1

AB30.2.1 C.A.R. Hoare: Sets again, page 4

Page 4