Erroneous theorem

I found a counter-example and an error in my proof of this (erroneous) theorem in Funcoids and Reloids article:

Let . If is a set of co-complete funcoids then .

A counter-example: Let . Let and .

Then ; ; .