Định lý Kuratowski
Trong lý thuyết đồ thị, định lý Kuratowski, được phát triển bởi nhà toán học người Ba Lan Kazimierz Kuratowski, là một đặc tính của đồ thị phẳng.

Đồ thị đủ K5 không phẳng. 
Đồ thị lưỡng phân đủ K3,3 không phẳng.
