Definition:Smallest Element/Comparison with Minimal Element