已知非空集合S包含于N,且满足条件若X属于S,则(8-X)属于S,