moved "definition trivial" to SetUtils; documented