Set definitions and operations