I'm not sure that this is the right place to post my question, but other places don't seem right either.

While dealing with a certain highly irregular algebraic structure with two operations, say

and

and a partial order, say

I was trying to find any relation between the two operations. An obvious guess was the distributive property but it's not there. I thought I would try the following property

It turns out it doesn't hold for all

either. However, I wrote a program to see how many of all possible triples

satisfy the above formula. It seems, experimentally, that most of them do. The structure is unambiguously given by its size

. It seems to me that for

approaching infinity the probability of the formula being satisfied for random

diverges to 1, quite quickly at that. I haven't proven it and I don't know if it isn't well beyond my skills, but this is not why I'm writing this.

I found the idea of a structure "almost having" a property (in this probabilistic sense) intriguing. I would be interested to know if you have encountered any research in this direction. Do people do this? Is it useful?