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

7.4 Set operations

7.4.1 Set assertions