closure of relations