1
Thuộc tính đóng nhỏ mà rõ ràng là MSO rõ ràng
Dưới đây, MSO biểu thị logic thứ tự đơn thứ hai của đồ thị với định lượng đặt đỉnh và đặt cạnh. Đặt là một họ đồ thị khép kín nhỏ. Nó xuất phát từ lý thuyết đồ thị nhỏ của Robertson và Seymour rằng F được đặc trưng bởi …