베트3 < 알레프3