for a, b, c, d being Real st a < b & c < d holds
( (L[01] (a,b,c,d)) . a = c & (L[01] (a,b,c,d)) . b = d )