Stable Numerics Subroutine Library
Programming Reference Manual
Version 1.1 DD-00006-011

5.4 Set operations

5.4.1 Set assertions
5.4.2 Set operations