x ⩓ {} ⩓ ({} ⩓ b)