set-analysis