New easy theorem and its consequence

I’ve added to my book a new easy to prove theorem and its corollary:

Theorem If is a (co-)complete funcoid then is a filter.

Corollary

1. If is a (co-)complete funcoid then .
2. If is a (co-)complete reloid then .