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

Continue reading# Month: March 2011

## 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

Continue reading## New corollary

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

Continue reading## “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

Continue reading## Draft: Pointfree funcoids

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

Continue reading## 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

Continue reading## Compl CoCompl f = CoCompl Compl f = Cor f

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

Continue reading## Yet two simple theorems

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

Continue reading## Two similar theorems about funcoids and reloids

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

Continue reading## Restricting a reloid to a trivial atomic filter object

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

Continue reading