upper ideal