symmetric closure in discrete mathematics