Define min (12/45)

Define min