2 in notes

panrykle lujvo

x1=k1 (mass/si'o) is an equivalence class within/is a substructure of x2 (mathematical structure/object/category/set endowed with operations and properties) with defining characteristic/property/for similarity/under equivalence relation x3=p3, with representative member x4=p1=p2, in geometry/by standard/under paradigm x5=p4

x5 may have some overlap with x2. See also: panra, klesi, terpanryziltolju'i, panryzilbri

• jbovlaste

In notes:

panryzilbri

x1=b2=p3 is a (predicate) equivalence relationship/similarity/parallel with/between/among arguments (sequence(s)/set(s)) x2=b3=p1=p2, partitioning (with only empty intersection) set/structure x3=p4; elements of x2 are mutually similar in property x1 within structure x3; x3 is partitioned by x1 into equivalence classes (including) x2;

terpanryziltolju'i

x1=j2=p3 (ka; jo'u/fa'u term) is the minor difference in/between x2=p2 and x3=p1 that is to be ignored, their similarity being by standard/in geometry x4; x2 is the same as/similar to/parallels x3 in standard/geometry x4 up to/modulo/except for/ignoring unimportant difference x1;