Stable Numerics Subroutine Library
Programming Reference Manual
Version 1.2 DD-00006-012

7.4 Set operations

7.4.1 Set assertions