Definition. sg_eq
{a} = {x | set a → x = a}