treci'e lujvo

x1 is the metric system with relations x2 among units x3 and properties x4.