Fuzzy relation equation