Correspondence theorem for fuzzy ideals · Study