Fuzzy semiprime subsets of ordered groupoids (groupoids)

TL;DR

This paper explores fuzzy semiprime subsets in ordered groupoids, comparing two definitions and establishing the correct conceptual framework within fuzzy ordered algebraic structures.

Contribution

It clarifies the relationship between two definitions of fuzzy semiprime subsets and proposes the more appropriate one for ordered semigroups and groupoids.

Findings

The paper establishes the equivalence of the two definitions under certain conditions.

It provides a detailed analysis of fuzzy semiprime subsets in ordered groupoids.

The study clarifies the conceptual understanding of fuzzy semiprime subsets in algebraic structures.

Abstract

A fuzzy subset $f$ of an ordered semigroup (or semigroup) $S$ is called fuzzy semiprime if $f(x)\ge f(x^2)$ for every $x\in S$ (Definition 1). Following the terminology of semiprime subsets of ordered semigroups (semigroups), the terminology of ideal elements of $poe$-semigroups (: ordered semigroups possessing a greatest element), and the terminology of ordered semigroups, in general, a fuzzy subset $f$ of an ordered semigroups (semigroup) should be called fuzzy semiprime if for every fuzzy subset $g$ of $S$ such that $g^2:=g\circ g\preceq f$, we have $g\preceq f$ (Definition 2). And this is because if $S$ is a semigroup or ordered semigroup, then the set of all fuzzy subsets of $S$ is a semigroup (ordered semigroup) as well. What is the relation between these two definitions? that is between the usual definition (Definition 1) we always use and the definition we give in the present paper (Definition 2) saying that that definition should actually be the correct one? The present paper gives the related answer.