1932 માં, લેવ સિમેનોવિક એલેક્ઝાન્ડર દ્વૈતાવસ્થામાંથી કાયદા દ્વારા સૂચિત વિકાસ, કાયદો સાબિત થયું છે કે  યુક્લિડીન સ્પેસમાં  જોડાય જૂથ બેટી બાઉન્ડેડ સમૂહ બંધ મનસ્વી સાથે બેટી જૂથો બંધ પૂરક સમૂહ.