for X being set holds [{},{}] in TOL X