let F be a function which maps an a

let F be a function which maps an arbitrary nonempty set X into itself;
noempty

Kết quả (Việt) 1:

cho F là một hàm mà bản đồ một thiết lập nonempty bất kỳ X vào chính nó;noempty

Kết quả (Việt) 2:

để cho F là một hàm ánh xạ một rỗng tùy ý tập X vào chính nó;
noempty