Fuzzy subalgebra
 
x
OK