我们用符号“||”定义过一些数字概念，如实数绝对值的概念：对于a∈R，|a|=

a，a＞0 0，a=0 -a，a＜0

，可以证明，对任意a，b∈R，不等式|a|-|b|≤|a+b|≤|a|+|b|成立．
（1）再写出两个这类数学概念的定义及其成立的不等式；
（2）对于集合A，定义“|A|”为集合A中元素的个数，对任意的集合A、B有类似的不等式成立吗？如果有，写出一个，并指出等号成立的条件（不必说明理由）；如果没有，请说明理由；
（3）设有集合A、B，若|A|=15，|B|≥15，若从A中任取两上元素，恰好都是B中元素的概率p≥

1

5

，求|A∩B|的取值范围．

我们用符号“||”定义过一些数字概念，如实数绝对值的概念：对于a∈R，|a|=

a，a＞0 0，a=0 -a，a＜0

，可以证明，对任意a，b∈R，不等式|a|-|b|≤|a+b|≤|a|+|b|成立．
（1）再写出两个这类数学概念的定义及其成立的不等式；
（2）对于集合A，定义“|A|”为集合A中元素的个数，对任意的集合A、B有类似的不等式成立吗？如果有，写出一个，并指出等号成立的条件（不必说明理由）；如果没有，请说明理由；
（3）设有集合A、B，若|A|=15，|B|≥15，若从A中任取两上元素，恰好都是B中元素的概率p≥

1

5

，求|A∩B|的取值范围．

假设你已经学习过指数函数的基本性质和反函数的概念，但还没有学习过对数的相关概念．由指数函数f（x）=a^x（a＞0且a≠1）在实数集R上是单调函数，可知指数函数f（x）=a^x（a＞0且a≠1）存在反函数y=f^-1（x），x∈（0，+∞）．请你依据上述假设和已知，在不涉及对数的定义和表达形式的前提下，证明下列命题：
（1）对于任意的正实数x₁，x₂，都有f^-1（x₁x₂）=f-1(x1)+f-1(x2)；
（2）函数y=f^-1（x）是单调函数．