The statement "A mug is a cup" is true because a mug is a large cup.