@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

...In the beginning of 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]-=-, [3], [5], [6], [7], and [1] provide the notation and terminology for this paper. 1. MAIN PART In this paper x, y, y1, y2, z, z1, z2, P, Q, X, X1, X2, Y , Y1, Y2, V , Z are sets. The following propos...

...ed by a partial function. Some simple propositions related to the introduced notions are proved. In the beginning of 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], [3], [5], [6], [7], and [1] provide the notation and terminology for this paper. 1. MAIN PART In this...

...inning of 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], [3], =-=[5]-=-, [6], [7], and [1] provide the notation and terminology for this paper. 1. MAIN PART In this paper x, y, y1, y2, z, z1, z2, P, Q, X, X1, X2, Y , Y1, Y2, V , Z are sets. The following propositions are...

...partial function. Some simple propositions related to the introduced notions are proved. In the beginning of 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], [3], [5], [6], [7], and [1] provide the notation and terminology for this paper. 1. MAIN PART In this paper x...

...g of 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], [3], [5], =-=[6]-=-, [7], and [1] provide the notation and terminology for this paper. 1. MAIN PART In this paper x, y, y1, y2, z, z1, z2, P, Q, X, X1, X2, Y , Y1, Y2, V , Z are sets. The following propositions are true...

...e beginning of 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], =-=[3]-=-, [5], [6], [7], and [1] provide the notation and terminology for this paper. 1. MAIN PART In this paper x, y, y1, y2, z, z1, z2, P, Q, X, X1, X2, Y , Y1, Y2, V , Z are sets. The following proposition...

...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], [3], [5], [6], =-=[7]-=-, and [1] provide the notation and terminology for this paper. 1. MAIN PART In this paper x, y, y1, y2, z, z1, z2, P, Q, X, X1, X2, Y , Y1, Y2, V , Z are sets. The following propositions are true: (1)...