Cảm ơn câu hỏi của em. Về thắc mắc này thì anh nghĩ nên ghi "$A$ không tồn tại với (hoặc là nếu) $m= n$" ($m= n$ là một trường, ngược lại nó là một trường khác) sẽ chuẩn nhất (về chữ tương đương ở post trên của anh cũng không chuẩn xác). Cách ghi $A= \varnothing$ nó lại hướng kiểu dữ liệu, tính chất đại số của nó ngây thơ hơn (trong một bài ở đây có nói, với tập rỗng thì đối ngẫu của nó là tập hợp rộng nhất $U$, tập hợp rộng nhất là tập không có tính chất gì). Ví dụ: Lúc đầu ta có $A$ không tồn tại với $m\geq n$ thì nếu ghi $A= \varnothing$ em sẽ không thể kết luận $A$ không tồn tại với $m= n$.
Và điều này, chúng ta đã hiểu lí do cú pháp $\LaTeX$ của tập rỗng lại là \varnothing