Consistency of natural relations on sets - Koizumi, H.; Maruoka, A.; Paterson, M.