Real interval/Interior/Definition