apartness relation

form of inequality in constructive mathematics

카테고리: