Fuzzy set inequations and equations with a meet-continuous codomain lattice

Some fuzzy set and fuzzy relational inequations and equations are considered in the framework of a meet-continuous codomain lattice. The existence of maximal solutions to some fuzzy set inequations is proven. An algorithm is given for calculating the closure of a fuzzy set (relation) under the composition with a given fuzzy relation. Another algorithm for finding the transitive closure is proven to work in this framework