DMCA
Functions from a set to a set (1989)
Cached
Download Links
by
Czesław Byliński
| Venue: | Journal of Formalized Mathematics |
| Citations: | 1075 - 22 self |
BibTeX
@ARTICLE{Byliński89functionsfrom,
author = {Czesław Byliński},
title = {Functions from a set to a set},
journal = {Journal of Formalized Mathematics},
year = {1989},
volume = {1},
pages = {1--2}
}
Share
 |
 |
 |
 |
||
OpenURL
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.
