Muchas de las nuevas estructuras difusas con álgebras completas como conjuntos de valores, como los conjuntos vacilantes, intuicionistas, neutrosóficos o conjuntos difusos suaves, pueden transformarse en un tipo de conjunto difuso con valores en álgebras completas especiales, llamadas -álgebras. La categoría de -álgebras completas es isomorfa a la categoría de pares especiales de semianillos conmutativos completos y los conjuntos difusos correspondientes se llaman conjuntos -difusos. Utilizamos esta teoría para definir relaciones -difusas, aproximaciones inferiores y superiores de conjuntos -difusos por -relaciones, y conjuntos difusos ásperos, y mostramos que estas nociones pueden aplicarse universalmente a cualquier estructura de tipo difuso que sea transformable en conjuntos -difusos. Como ejemplo, también mostramos cómo esta teoría general puede utilizarse para determinar las aproximaciones superiores e inferiores de un segmento de color correspondiente a un color particular.