BibTeX
@MISC{Byli'nski_partialfunctions,
author = {Czes Law Byli'nski},
title = {Partial Functions},
year = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this article we prove some auxiliary theorems and schemes related to the articles: [1] and [2]. MML Identifier: PARTFUN1. WWW: http://mizar.org/JFM/Vol1/partfun1.html The articles [4], [6], [3], [5], [7], [8], and [1] provide the notation and terminology for this paper. We adopt the following rules: x, y, y 1 , y 2 , z, z 1 , z 2 denote sets, P , Q, X , X 0 , X 1 , X 2 , Y , Y 0 , Y 1 , Y 2 , V , Z denote sets, and C, D denote non empty sets. We now state three propositions: (1) If P ` [: X 1
Citations
| 1274 | Tarski Grothendieck set theory - Trybulec - 1989 |
| 1237 | Functions and their basic properties - Byliński - 1989 |
| 1164 | Properties of subsets - Trybulec - 1989 |
| 991 | Functions from a set to a set - Byliński - 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 |
