Define min (7/45)

Define min