આ સિસ્ટમમાં, કેટલાક ઓપન સૂત્ર A માટે અસ્તિત્વમાં છે જો અને માત્ર જો તે સ્તરબદ્ધ છે, એટલે કે, જો વેરિયેબલ્સે આવી રીતે કુદરતી સંખ્યામાં અસાઇન થયેલ હોય તો પૂર્વવર્તી વેરિયેબલના સેટમાં દરેક ગુણધર્મ માટે, અસાઇનમેન્ટ વેરિયેબલ કરતા ઓછું એક સોંપાયેલ છે, તેની આગળ.