Gelen matematik bir cofinished alt kümesi, X'in bir grubu Y bir alt kümesi, Y tamamlayıcı olan sonlu .
Aşağıdaki özelliklere sahibiz: