**Problem**Let and be infinite sets. Characterize the set of all coatoms of the lattice of funcoids from to . Particularly, is this set empty? Is a coatomic lattice? coatomistic lattice?

See Algebraic General Topology for definitions of used concepts.

**Solved:**

Coatoms of are principal funcoids corresponding to binary relations of the form where , .

The set of funcoids is atomic but not atomistic.

See new version of the book Algebraic General Topology.

## Bibliography

* indicates original appearance(s) of problem.