## Two elementary theorems

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

## Funcoid corresponding to a monovalued reloid is monovalued

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

## New corollary

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

## “Pointfree Funcoids” is now a good draft

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

## Draft: Pointfree funcoids

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

## Completion of a join of reloids

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

## Compl CoCompl f = CoCompl Compl f = Cor f

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

## Yet two simple theorems

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