set-oriented view in Theories.Sets