Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras

► Classifiable subalgebras are characterized by regular fuzzy presubsets. ► Even though not every subalgebra is classifiable, its classifiable hull exists. ► In this context the negation appears as truth arrow.