Este elemento se llama el seudo-complemento relativo de "a" con respecto a "b", y es denotado "a"=>"b" (o a"⇒"b").