úΧ     NoneCIMembership value between 0 and 1 with Lukasiewicz join and meet operatorsDMembership value between 0 and 1 with Goguen join and meet operatorsCMembership value between 0 and 1 with Godel join and meet operators !"#$%&'()*+,- !"#$%&'()*+,-None &357>CL=Defines a mapping between sub-categories preserving morphisms FuzzySet type definition .Returns the preimage of the given set in input Returns an empty fuzzy set*Inserts a new pair (i, m) to the fuzzy setReturns the fuzzy set's support~Returns the element i's membership if i belongs to the support returns its membership, otherwise returns bottom lattice valuedReturns the crisp subset of given fuzzy set consisting of all elements with membership equals to oneRReturns those elements whose memberships are greater or equal than the given alpha'Builds a fuzzy set from a list of pairs3Applies a unary function to the specified fuzzy set9Applies a binary function to the two specified fuzzy sets6Returns the union between the two specified fuzzy sets=Returns the intersection between the two specified fuzzy sets1Returns the complement of the specified fuzzy set>Returns the algebraic sum between the two specified fuzzy setsBReturns the algebraic product between the two specified fuzzy setsQReturns the cartesian product between two fuzzy sets using the specified function.YDefines a functor for the FuzzySet type which allows to implement the Extension principle ./     ./0      !"#$%&'()*+,-./012lfst_AuZPPsOSbNS4cF7xjarYM5 MembershipFuzzySetLukasiewiczMembershipLukasGoguenMembershipGoguenGodelMembershipGodel ExoFunctorSubCatConstraintISubCatConstraintJfmapFSpreimageemptyaddsupportmucorealphaCutfromListmap1map2union intersection complement algebraicSumalgebraicProductgeneralizedProduct%$fBoundedLatticeLukasiewiczMembership-$fBoundedMeetSemiLatticeLukasiewiczMembership-$fBoundedJoinSemiLatticeLukasiewiczMembership$fLatticeLukasiewiczMembership&$fMeetSemiLatticeLukasiewiczMembership&$fJoinSemiLatticeLukasiewiczMembership $fBoundedLatticeGoguenMembership($fBoundedMeetSemiLatticeGoguenMembership($fBoundedJoinSemiLatticeGoguenMembership$fLatticeGoguenMembership!$fMeetSemiLatticeGoguenMembership!$fJoinSemiLatticeGoguenMembership$fBoundedLatticeGodelMembership'$fBoundedMeetSemiLatticeGodelMembership'$fBoundedJoinSemiLatticeGodelMembership$fLatticeGodelMembership $fMeetSemiLatticeGodelMembership $fJoinSemiLatticeGodelMembership$fExoFunctorFuzzySeti$fShowFuzzySet