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

8.4 Set operations

8.4.1 Set assertions