Definability of approximations in reflexive relations | IEEE Conference Publication | IEEE Xplore