TY - RPRT TI - A necessary and sufficient condition for two relations to induce the same definable set family AU - Hua Yao AU - William Zhu PY - 2013 UR - https://arxiv.org/abs/1310.2396 ID - 1310.2396 ER -