The algebra of Russian Genealogy

Алгебра родства

Основные обозначения.
1. Пол.
  пол = м | ж
  Если пол не влияет на название родства, он не указывается.
2. Родитель.
  родитель = Р_[<пол>]
  мать = Р_ж
  отец = Р_м
3. Дитя.
  дитя = Д_[<пол>]
  сын = Д_м
  дочь = Д_ж
4. Супруг.
  cупруг ::= С_[<пол>]
  муж = С_м
  жена = С_ж

Кровное родство.

Кровное родство - не содержащее родственных связей через брак.

Восходящее родство.

бабушка ::= Р_жР дед ::= Р_мР

прабабушка ::= Р_жРР прадед ::= Р_мРР

пра^Nбабушка ::= Р_жР^N+1 пра^Nдед ::= Р_мР^N+1
Нисходящее родство.

внучка ::= Д_жД внук ::= Д_мД

прабабушка ::= Р_жРР прадед ::= Р_мРР

пра^Nвнучка ::= Д_жД^N+1 пра^Nвнук ::= Д_мД^N+1

Родство типа "брат-сестра" (сиблинги).

сестра ::= Д_жР брат ::= Д_мР

двоюродная сестра (кузина) ::= Д_жДРР двоюродный брат (кузен) ::= Д_мДРР

N-юродный сиблинг ::= Д_sД^N-1Р^N

Родство типа "дядя/тетя".

тетя ::= Д_жРР дядя ::= Д_мРР

N-юродные тетя/дядя ::= Д_sД^N-1Р^N+1
Дальнейшее восходящее родство (неродные деды/бабки).

N-юродный пра^Rдед/бабка ::= Д_sД^N-2Р^N+R+1
Родство типа "племянник/племянница".

племянница ::= Д_жДР племянник ::= Д_мДР

N-юродный племянник/ца ::= Д_sД^NР^N
Дальнейшее нисходящее родство (неродные внуки).

пра^Rвнучатый/ая племянник/ца ::= Д_sД^R+2Р
N-юродный пра^Rвнук/внучка ::= Д_sД^N+RР^N-1
Случаи родства через брак, имеющие те же названия.

С_sД^NР^R =~= Д_sД^N-1Р^R при N < R

Д_sД^NР^RС =~= Д_sД^NР^R при N >= R

Родство через брак (свойство).

Отношения родства между людьми одного поколения.

зять C_мД_жР муж сестры
деверь Д_мРС_м брат мужа
шурин Д_мРС_ж брат жены
свояк C_мД_жРС_ж муж сестры жены

невестка C_жД_мР жена брата
C_жД_мРС_м жена брата мужа
золовка Д_жРС_м сестра мужа
свояченица Д_жРС_ж сестра жены

Не имеют самостоятельного названия отношения родства
C_мД_жРС_м (муж золовки) и
C_жД_мРС_ж (жена шурина).

Продолжение следует...

бабушка ::= Р_жР	дед ::= Р_мР
прабабушка ::= Р_жРР	прадед ::= Р_мРР
пра^Nбабушка ::= Р_жР^N+1	пра^Nдед ::= Р_мР^N+1

внучка ::= Д_жД	внук ::= Д_мД
прабабушка ::= Р_жРР	прадед ::= Р_мРР
пра^Nвнучка ::= Д_жД^N+1	пра^Nвнук ::= Д_мД^N+1

сестра ::= Д_жР	брат ::= Д_мР
двоюродная сестра (кузина) ::= Д_жДРР	двоюродный брат (кузен) ::= Д_мДРР
N-юродный сиблинг ::= Д_sД^N-1Р^N

тетя ::= Д_жРР	дядя ::= Д_мРР
N-юродные тетя/дядя ::= Д_sД^N-1Р^N+1

племянница ::= Д_жДР	племянник ::= Д_мДР
N-юродный племянник/ца ::= Д_sД^NР^N

пра^Rвнучатый/ая племянник/ца ::= Д_sД^R+2Р
N-юродный пра^Rвнук/внучка ::= Д_sД^N+RР^N-1

С_sД^NР^R =~= Д_sД^N-1Р^R при N < R
Д_sД^NР^RС =~= Д_sД^NР^R при N >= R

зять	C_мД_жР	муж сестры
деверь	Д_мРС_м	брат мужа
шурин	Д_мРС_ж	брат жены
свояк	C_мД_жРС_ж	муж сестры жены
невестка	C_жД_мР	жена брата
невестка	C_жД_мРС_м	жена брата мужа
золовка	Д_жРС_м	сестра мужа
свояченица	Д_жРС_ж	сестра жены