По какому еще определению? Это определение придумали Владельцы рудников. Что бы завлечь неокрепшие души в свои сети. Нет никакого ни континента ни маленького острова.
Да хоть бы и так. Если континента и маленького острова нет, есть рудник, ты сам сказал. Он и есть Австралия по определению. Нет рудника, есть ещё что-то. Шахта, карьер, суслик или ондатра. Неважно. Ничего нет -- есть плод нашего воображения, который называется Австралией. Пофиг, что такое Австралия, она есть по определению.