Phát biểu 
Cho là một không gian lồi địa phương Hausdorff. Với hàm lấy giá trị trên trục số thực mở rộng, thì khi và chỉ khi một trong các điều kiện sau được thỏa mãn: