for a, b being set st idsym a = idsym b holds
a = b