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?