Element 'classical set theory'