什么assertion，并用它在Java语言中的应用举例说明之。

断言（Assertion）是一种编程技术，用于在运行时检查某个条件是否为真。如果条件满足，程序会继续执行；如果不满足（即断言失败），通常会停止执行并抛出异常，提供了一个方便的方式来验证代码中的预期状态。在Java中，`assert`关键字用于创建断言。

例如，在处理一个用户的年龄，我们可以使用断言来确保其合法性：

public boolean isAdult(int age) {
    assert age >= 18 : "年龄必须大于或等于18岁";
    return age >= 18;
}

public void celebrateBirthday() {
    int userAge = getUserAge(); // 假设getUserAge返回用户的实际年龄
    assert isAdult(userAge) : "用户尚未达到成年，无法庆祝生日";
    System.out.println("祝你生日快乐，" + userAge + "岁了！");
}

在这个例子中，`isAdult`函数期望输入的年龄大于或等于18。如果用户年龄小于18，`assert`语句会失败并抛出`AssertionError`，表明代码有误。这有助于尽早发现并修复潜在的问题，而不是等到测试阶段才发现。