PROXIMITY STRUCTURES AND IDEALS