[ 爸爸的爷爷 == 爷爷的爸爸 ][ 爸爸的妈妈 != 妈妈的爸爸 ] 这种现象, 是否有专门的数学/逻辑(?)的原则/法则来说明?

[suueyoung]

在一切正常的情况下:

• 爸爸的爷爷 == 爷爷的爸爸
• 爸爸的妈妈 != 妈妈的爸爸

这种, [ 称谓可以不受父辈的顺序关系影响; 但是 称谓受父母辈的顺序关系影响 ] 的事项. 是否有一种 原则 /法则 /原理 /定理 之类的术语来描述呀?

[lhbc]

二叉树

[youngbin0514]

充分条件和必要条件

[Ayanokouji]

全是男性不受影响，有女性就受影响

[Trim21]

矩阵运算不满足乘法交换律

[zhangsimon]

@Ayanokouji 不是的，舅舅的爷爷，爷爷的舅舅，不是一个人

[Building]

有向图

[icyalala]

https://github.com/mumuy/relationship

[fgwmlhdkkkw]

@zhangsimon 舅舅就会经过妈妈啊

[akira]

第一反应是 这玩意不满足交换律。 比较常见的不满足交换律的运算应该就是 矩阵乘法运算了

[shyrock]

比矩阵更简单。
因为爷爷=爸爸^2 ；婆婆=妈妈^2
所以爷爷和婆婆这种称谓其实是爸爸和妈妈这种关系的幂
因此，可以通过幂的定义和结合律解释：爸爸的爷爷=爸爸·爷爷=爸爸·（爸爸）^2=（爸爸)^2·爸爸=爷爷·爸爸。

妈妈、舅舅这些关系跟爸爸是独立的关系，因此不能用幂的方式展开和结合。

[wholve]

做一个类似二叉树的结构，性别男 左子树，性别女 右子树，假如以自己为顶点去拓扑，以四个方向延伸，左上为爸爸，右上为妈妈；左下为儿子，右下为女儿，依此建立关系图

[wholve]

@wholve 根据计算出来的路径结果是否相同来判断，符合你的案例

[jurassic2long]

外婆的妈妈 == 妈妈的外婆

[sillydaddy]

对应到数学理论，应该是群论。
举个例子，平面上的平移和旋转操作，形成了一个无限群。先平移后旋转，和先旋转后平移是不一样的。两次平移则可以交换。

[hsfzxjy]

所有亲属称谓组成集合在“的”运算下构成群，幺元是我，生成元为 父 和 母。其中父和母各自张成的群为阿贝尔群，即父系称谓或母系称谓各自可交换。但 父的母 这一运算不可交换，故混合了父母系的称谓通常不可交换

[Ericcccccccc]

确实是群论的知识.

[ieiayaobb]

高数的时候学过什么偏微分可微连续啥的，有点想不起来了，当时老师举的例子就是这种

[lambdaq]

有限群的交换律。

[lambdaq]

阿贝尔群。。。

[lambdaq]

原来 @hsfzxjy 已经说了。。。不过我在考虑，如果 incest 的话，是不是就可以交换了。。。。？