Define min (13/45)

Define min