“Properties” in the Property-based Testing sense refers to mathematical properties such as equality, associativity, commutivity, etc