Tuples, Projections and Cartesian Products

Abstract

The purpose of this article is to define projections of ordered pairs, and to introduce triples and quadruples, and their projections. The theorems in this paper may be roughly divided into two groups: theorems describing basic properties of introduced concepts and theorems related to the regularity, analogous to those proved for ordered pairs by Cz. Bylinski [1]. Cartesian products of subsets are redefined as subsets of Cartesian products.