Stratified formula#In set theory