March, 2011 | Math Research of Victor Porton

Two elementary theorems

I proved the following two elementary but useful theorems: Theorem For every funcoids , : If then . If then

I proved the following simple theorem: 1. is a monovalued funcoid if is a monovalued reloid. 2. is an injective

To the theorem “Every monovalued reloid is a restricted function.” I added a new corollary “Every monovalued injective reloid is

I updated online article “Pointfree Funcoids” from “preliminary draft” to just “draft”. This means that it was somehow checked for

My draft article Pointfree Funcoids was not yet thoroughly checked for errors. However at this stage of the draft I

I proved true the following conjecture: Theorem for every set of reloids. The following conjecture remains open: Conjecture for every

I proved true the following conjecture: Theorem for every reloid . See here for definitions and proofs.

I proved the following two simple theorems: Proposition for every funcoid . Proposition for every reloid . See this online

I proved the following two similar theorems about funcoids and reloids: Theorem For a complete funcoid there exist exactly one

I proved the following (not very hard) theorem: Theorem for every reloid and . See the online article about funcoids