1
Açıkça MSO tarafından ifade edilebilen küçük kapalı özellikler
Aşağıda, MSO köşe seti ve kenar seti miktarları olan grafiklerin monadik ikinci derece mantığını belirtir. Let grafikler küçük kapalı aile olacağız. O Robertson ve Seymour'un grafik minör teorisinden aşağıdaki F sonlu liste ile karakterize edilir , H 1 , H 2 , . . . , H k yasak Küçüklerin. …