Câu trả lời:
Đây là một ví dụ không tầm thường:
Giả sử chúng ta muốn xác định một cách tự nhiên một tập hợp con của các số thực, vì vậy chúng ta làm việc trên mạng hoàn chỉnh ra lệnh bằng cách đưa vào.
Sau đó, xem xét các quy tắc
Tất cả những điều sau đây là điểm cố định của :
Nếu chúng ta muốn định nghĩa của chúng ta được hình thành tốt, ngoài việc chỉ định các quy tắc, chúng ta cần chọn ra một trong những điểm cố định. Điều này thường được thực hiện bằng cách lấy ít nhất (cảm ứng) hoặc lớn nhất (cưỡng chế).
Bất kỳ tập hợp nào là một điểm cố định của tập hợp quy tắc trống hoặc quy tắc tầm thường .