所有権などの概念を数学的にあらわせ