This thesis investigates a concept of relation under the base framework for quantitative domain theory. It introduces a concept of relation between L-Fuzzy preorder sets. This concept generalizes the concept of relation between common sets,so it is a concept of Fuzzy relation. On the other hand,it generalizes the L-Fuzzy monotone mapping between L-Fuzzy sets. Then this thesis proves that it is a new category of the L-Fuzzy sets with L-Fuzzy functional relations between them,and the category of the L-Fuzzy sets with L-Fuzzy monotone maps is its sub-category. Furthermore,this thesis introduces an adjoint on L-Fuzzy relations that has many qualities as common adjoint. |