for X being set holds X -indexing {} = id X ;