Abstract

function from a set X into a set Y, denoted by “Function of X,Y ”, the set of all functions from a set X into a set Y, denoted by Funcs(X,Y), and the permutation of a set (mode Permutation of X, where X is a set). Theorems and schemes included in the article are reformulations of the theorems of [1] in the new terminology. Also some basic facts about functions of two variables are proved.

Citations

1274	Tarski Grothendieck set theory - Trybulec - 1989
1237	Functions and their basic properties - Byliński - 1989
1164	Properties of subsets - Trybulec - 1989
971	Relations and their basic properties - Woronowicz - 1989
709	Some basic properties of sets - Byliński - 1989
441	Relations defined on sets - Woronowicz - 1990
413	Partial functions - Byliński - 1990