FDL > PVS > Prelude > sets > subset? : const-decl

subset?(a, b): bool = FORALL x : member(x, a) = > member(x, b);