素数（或非素数）的性质称为素数。验证给定数n的素性的一种简单而缓慢的方法称为试除法。它由测试n是否为2到之间的任何整数的倍数组成。为了测试大数的素性，设计了比试除法效率高得多的算法。这些测试包括Miller-Rabin素性测试，该测试速度快，但误差概率小；AKS素性测试，该测试总是在多项式时间内产生正确答案，但速度太慢，不实用。特别快速的方法可用于许多特殊形式的数据，例如梅森数字。截至2016年1月[更新]，已知的最大素数有22338618位小数。
指定数字是否为质数的属性名称是什么？